Certification of Open-Source Software: A Role for Formal Methods?

AuthID
P-003-54M
4
Author(s)
Cerone, A
·
Petrenko, AK
·
Shaikh, SA
Document Type
Article
Year published
2010
Published
in COMPUTER SYSTEMS SCIENCE AND ENGINEERING, ISSN: 0267-6192
Volume: 25, Issue: 4, Pages: 273-281 (9)
Indexing
Publication Identifiers
Dblp: journals/csse/BarbosaCPS10
Scopus: 2-s2.0-77957325458
Wos: WOS:000281919100002
Source Identifiers
ISSN: 0267-6192
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.