Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > number:
11-30
& article:
“A Specifier’s Introduction to Formal Methods”
& publisher
:
John Hopkins University Press
or
Morgan Kaufmann
& issue:
None
& date
:
1989
or
1990 ![](/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.