학술논문
Verification conditions for source-level imperative programs
Document Type
Review Article
Author
Source
In Computer Science Review 2011 5(3):252-277
Subject
Language
ISSN
1574-0137