Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > article:
“A Specifier’s Introduction to Formal Methods”
& publication :
Computer Algorithms or
Practical Model-Based Testing: A Tools Approach or
Stevens Prize Lecture or
The 4+1 View Model of Architecture
& date :
1981 or
2007 or
Jan. 2010 or
Mar. 2012 or
None
Click on the filter values below to narrow your results.
There are no results for this report.