| |
| 2002 | ||
|---|---|---|
| 1 | EE | Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric: BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. Journal of Object Technology 1(3): 77-96 (2002) |
| 1 | Jason Lancaric | [1] |
| 2 | Jonathan S. Ostroff | [1] |
| 3 | Richard F. Paige | [1] |