A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
Publication date
2003
Authors
Pierik, C.
de Boer, F.S.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Ordered by external client
Citation
Pierik, C & de Boer, F S 2003, A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. vol. 2003-010, UU-CS edn, Utrecht University: Information and Computing Sciences, Utrecht.