| |
| 1982 | ||
|---|---|---|
| 1 | Gregor von Bochmann, Eduard Cerny, Michel Gagne, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya: Some Experience with the Use of Formal Specifications. PSTV 1982: 171-185 | |
| 1 | Gregor von Bochmann | [1] |
| 2 | Eduard Cerny | [1] |
| 3 | Michel Gagne | [1] |
| 4 | Claude Jard | [1] |
| 5 | Clement Lacaille | [1] |
| 6 | Michel Maksud | [1] |
| 7 | K. S. Raghunathan | [1] |
| 8 | Behçet Sarikaya | [1] |