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

AuthID
P-003-54M
4
Author(s)
Cerone, A
·
Petrenko, AK
·
Shaikh, SA
Tipo de Documento
Article
Year published
2010
Publicado
in COMPUTER SYSTEMS SCIENCE AND ENGINEERING, ISSN: 0267-6192
Volume: 25, Número: 4, Páginas: 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
Info
At this moment we don't have any links to full text documens.