Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > article:
“A Specifier’s Introduction to Formal Methods”
& publication :
12207-2008 (a.k.a. ISO/IEC 12207:2008) Standard for Systems and Software Engineering—Software Life Cycle Processes or
ISO/IEC/IEEE 24765:2010 Systems and Software Engineering—Vocabulary or
Software Measurement or
None
& issue:
None
Click on the filter values below to narrow your results.
There are no results for this report.