| |
| 1990 | ||
|---|---|---|
| 1 | Benedetto L. DiVito, Cristi Garvey, D. Kwong, A. Murray, Jane Solomon, Amy Wu: The Deductive Theory Manager: A Knowledge Based System for Formal Verification. IEEE Symposium on Security and Privacy 1990: 306-318 | |
| 1 | Benedetto L. DiVito | [1] |
| 2 | Cristi Garvey | [1] |
| 3 | A. Murray | [1] |
| 4 | Jane Solomon | [1] |
| 5 | Amy Wu | [1] |