Search Results
You searched for:
subject
"Computer programs+Verification.+Congresses."
Remove constraint
Showing 1 - 10 of 37 results
Search Results
Verification, model checking, and abstract interpretation
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 V53 2006 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
Verification, model checking, and abstract interpretation
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 V53 2004 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)