Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > article
:
“A Specifier’s Introduction to Formal Methods”
or
None
& edition:
None
& date
:
1997
or
2007
or
2012
or
Dec. 1997
or
Mar. 1994
or
Mar. 2012 ![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
Click on the filter values below to narrow your results.
Aspect-Oriented Programming, Proc. 11th European Conf. Object-Oriented Programming (ECOOP 97) (1) ·
IEEE Std. 1012-2012 Standard for System and Software Verification and Validation (1) ·
IEEE Std. 828-2012, Standard forConfiguration Management in Systems and Software Engineering (2) ·
ISO/IEC/IEEE P29119-1/DIS Draft Standard for Software and Systems Engineering— Software Testing—Part 1: Concepts and Definitions (1) ·
Numerical Mathematics and Computing (1) ·
P730™/D8 Draft Standard for Software Quality Assurance Processes (1) ·
Practical Model-Based Testing: A Tools Approach (1) ·
Software Measurement (1)
Showing below up to 9 results in range #1 to #9.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)