Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > number:
4-6
& article
:
“A Specifier’s Introduction to Formal Methods”
or
None
& date
:
1981
or
1989
or
1990
or
1997
or
2008
or
2011
& link:
None ![](/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)
![](/extensions/Cargo/drilldown/resources/filter-x.png)
Click on the filter values below to narrow your results.
None (1) ·
25010:2011 Systems and SoftwareEngineering—Systems and Software Quality Requirements and Evaluation(SQuaRE)—Systems and Software Quality
Models (1) ·
Computer Science: An Overview (2) ·
Software Engineering (3) ·
Software Engineering Economics (1) ·
Software Engineering, 9th ed. (2) ·
Software Maintenance Management: Evaluation and Continuous Improvement (1)
Showing below up to 11 results in range #1 to #11.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)