Drilldown: references
- Choose a table:
- acronyms (148)
- references (162)
references > number:
3
& article
:
“A Specifier’s Introduction to Formal Methods”
or
None
& edition
:
6th ed.
or
version 3.2.2
or
vol. 37, no. 5
& link
:
www.abet.org/uploadedFiles/Accreditation/Accreditation Process/Accreditation Documents/Current/eaccriteria-2012-2013.pdf
or
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)
Click on the filter values below to narrow your results.
Showing below up to 1 result in range #1 to #1.
View (previous 250 | next 250) (20 | 50 | 100 | 250 | 500)