"Dynamic Interpretation and Hoare Deduction."

Jan van Eijck, Fer-Jan de Vries (1992)

Details and statistics

DOI: 10.1007/BF00203385

access: closed

type: Journal Article

metadata version: 2020-09-17