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