| |
| 2001 | ||
|---|---|---|
| 1 | Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur: A Survey: Applying Formal Methods to a Software Intensive System. HASE 2001: 55-64 | |
| 1 | Adriaan de Groot | [1] |
| 2 | Jozef Hooman | [1] |
| 3 | Deepak Kapur | [1] |
| 4 | Fabrice Kordon | [1] |
| 5 | Michel Lemoine | [1] |
| 6 | Emmanuel Paviot-Adet | [1] |
| 7 | Isabelle Vernier-Mounier | [1] |
| 8 | Victor L. Winter | [1] |