Towards Certified Program Logics for the Verification of Imperative Programs

AuthID
P-012-3QS
Document Type
Phd Thesis
Year published
2013
Published
Indexing
Publication Identifiers
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.