![]() | ![]() |
| 1993 | ||
|---|---|---|
| 2 | K. Brink, Ronald Huijsman, Jan van Katwijk: SEAL A simple language for prototyping action-event specifications. Microprocessing and Microprogramming 38(1-5): 87-95 (1993) | |
| 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 | |
| 1 | K. Brink | [2] |
| 2 | Jan van Katwijk | [1] [2] |
| 3 | Gertjan van Oosten | [1] |
| 4 | Nico Plat | [1] |
| 5 | Cornelis Pronk (Kees Pronk) | [1] |
| 6 | Hans Toetenel (W. J. Toetenel) | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page