Cornelis Pronk (Selection)

Kees Pronk

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

14 Peter van der Spek, Nico Plat, Cornelis Pronk: Syntax error repair for a Java-based parser generator. SIGPLAN Notices 40(4): 47-50 (2005)

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

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

Selection of 4 from 15 records - Cornelis Pronk has 17 coauthors

14		Peter van der Spek, Nico Plat, Cornelis Pronk: Syntax error repair for a Java-based parser generator. SIGPLAN Notices 40(4): 47-50 (2005)
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
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