Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > author
:
A. van Lamsweerde
or
H. Zhu, P.A.V. Hall, and J.H.R. May
or
M. Page-Jones
or
N.A. Maiden and C. Ncube
or
T. DeMarco
& publication
:
Discrete Mathematics and Its Applications
or
IEEE Std. 1012-2012 Standard for System and Software Verification and Validation
or
Journal of Systems and Software
or
Numerical Mathematics and Computing
or
Quality Is Free
or
Software Requirements
or
Stevens Prize Lecture
& date
:
1988
or
1994
or
2002
& 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)
![](/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.
There are no results for this report.