Additional Metadata
THEME Software (theme 1)
Publisher Elsevier
Journal Theoretical Computer Science
Citation
Pierik, C, & de Boer, F.S. (2005). A proof outline logic for object-oriented programming. Theoretical Computer Science, 343(3), 413–442.