| 2005 |
|---|
| 9 | EE | Peter van der Spek,
Nico Plat,
Cornelis Pronk:
Syntax error repair for a Java-based parser generator.
SIGPLAN Notices 40(4): 47-50 (2005) |
| 2000 |
|---|
| 8 | EE | B. Tim Denvir,
José Nuno Oliveira,
Nico Plat:
The Cash-Point (ATM) `Problem'.
Formal Asp. Comput. 12(4): 211-215 (2000) |
| 1995 |
|---|
| 7 | | Anthony Hall,
David Lorge Parnas,
Nico Plat,
John M. Rushby,
Chris T. Sennett:
The Future of Formal Methods in Industry.
ZUM 1995: 237-242 |
| 1994 |
|---|
| 6 | | Peter Gorm Larsen,
Nico Plat,
Hans Toetenel:
A Formal Semantics of Data Flow Diagrams.
Formal Asp. Comput. 6(6): 586-606 (1994) |
| 1992 |
|---|
| 5 | | Peter Gorm Larsen,
Nico Plat:
Standards for Non- Executable Specification Languages.
Comput. J. 35(6): 567-573 (1992) |
| 4 | EE | Nico Plat,
Peter Gorm Larsen:
An overview of the ISO/VDM-SL standard.
SIGPLAN Notices 27(8): 76-82 (1992) |
| 1991 |
|---|
| 3 | | Nico Plat,
Kees Pronk,
Marcel Verhoef:
The Delft VDM-SL Front-End.
VDM Europe (1) 1991: 677-680 |
| 2 | | Nico Plat,
Jan van Katwijk,
Kees Pronk:
A Case for Structured Analysis/Formal Design.
VDM Europe (1) 1991: 81-105 |
| 1990 |
|---|
| 1 | | Nico Plat,
Ronald Huijsman,
Jan van Katwijk,
Gertjan van Oosten,
Kees Pronk,
Hans Toetenel:
Type Checking BSI/VDM-SL.
VDM Europe 1990: 399-425 |
