- CSB - MetaPress - Google - Bing - Yahoo
 | 1997 | |
|---|---|---|
| 1 |      | Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss: PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. FME 1997: 221-236 |
| 1 | Peter Gorm Larsen | [1] |
| 2 | Henrik Voss | [1] |