| |
| 1996 | ||
|---|---|---|
| 1 | Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey: Formal Specification and Verification of the pGVT Algorithm. FME 1996: 405-424 | |
| 1 | Perry Alexander | [1] |
| 2 | Peter Frey | [1] |
| 3 | Radharamanan Radhakrishnan | [1] |
| 4 | Philip A. Wilsey | [1] |