Search Results
You searched for:
author_facet
World Congress on Formal Methods in the Development of Computing Systems
Remove constraint
Showing 1 - 4 of 4 results
Search Results
/LC.GIF&client=easterncarolinaedu)
Theoretical and practical aspects of SPIN model checking
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 S68 1999 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
FM'99--formal methods
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.F67 W67 1999 V. 1 | ✔ Available |
| Joyner - General Stacks | QA76.9.F67 W67 1999 V. 2 | ✔ Available |