Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > article:
“A Specifier’s Introduction to Formal Methods”
& publication :
ISO/IEC 42010:2011 Systems and Software Engineering—Recommended Practice for Architectural Description of Software-Intensive Systems or
Software Engineering
& edition :
11th ed. or
9th ed or
version 3.2.2
& issue:
None
Click on the filter values below to narrow your results.
There are no results for this report.