Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > article
:
“A Specifier’s Introduction to Formal Methods”
or
None
& issue:
None
& date
:
1981
or
1996
or
1998
or
2007
or
Mar.-Apr. 1998
or
Sep-Oct. 2011 ![](/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.
Applied Statistics and Probability for Engineers (1) ·
Computer Algorithms (1) ·
Handbook of Software Reliability Engineering (1) ·
Numerical Mathematics and Computing (2) ·
Practical Model-Based Testing: A Tools Approach (1) ·
Software Engineering Economics (1) ·
Software Measurement (1) ·
The Psychology of Computer Programming: Silver Anniversary Edition (1)
Showing below up to 9 results in range #1 to #9.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)