| |
| 1997 | ||
|---|---|---|
| 1 | Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka: Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. AMAST 1997: 185-198 | |
| 1 | Xiaoqun Du | [1] |
| 2 | Kevin T. McDonnell | [1] |
| 3 | Y. S. Ramakrishna | [1] |
| 4 | Scott A. Smolka | [1] |