Calculating with procedure calls.
Publication date
1993
Authors
Bijlsma, A.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
Abstract
Keywords
Formal semantics, program correctness, program specification, procedures