Rigorous Software Development - An Introduction to Program Verification

AuthID
P-00A-8WS
4
Author(s)
Document Type
Book
Year published
2011
Published
in Undergraduate Topics in Computer Science in Undergraduate Topics in Computer Science, ISSN: 1863-7310
Pages: I-XII, 1-263 (269)
Indexing
Book Cover
Publication Identifiers
DBLP: series/utcs/AlmeidaFPS11
Openlibrary: OL26841669M
Source Identifiers
ISSN: 1863-7310
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.