Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
ISSRE
/
Paper
Evidence arguments for using formal methods in software certification.
Ewen Denney
,
Ganesh Pai
Venue
A
ISSRE
Year
2013
Proceedings
ISSRE (Supplemental Proceedings)
DBLP record
conf/issre/DenneyP13 ↗
Browse the full
ISSRE paper archive
.