Login / Signup

Dynamic Interpretation and Hoare Deduction.

Jan van EijckFer-Jan de Vries
Published in: J. Log. Lang. Inf. (1992)
Keyphrases