| |
| 2000 | ||
|---|---|---|
| 1 | EE | Mark Lawford, Jeff McDougall, Peter Froebel, Greg Moum: Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software. AMAST 2000: 73-88 |
| 1 | Peter Froebel | [1] |
| 2 | Mark Lawford | [1] |
| 3 | Jeff McDougall | [1] |