Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > author :
A. van Lamsweerde 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
Stevens Prize Lecture
& date :
1988 or
1994 or
2002 or
Mar.-Apr. 1998
& link:
None
Click on the filter values below to narrow your results.
There are no results for this report.