Type Checking BSI/VDM-SL. - Nico Plat; Ronald Huijsman; Jan van Katwijk; Gertjan van Oosten; Kees Pronk; Hans Toetenel (VDM Europe, 1990)

Structured analysis - formal design, using stream and object oriented formal specifications. - Hans Toetenel; Jan van Katwijk; Nico Plat (Formal Methods in Software Development, 1990)

A Case for Structured Analysis/Formal Design. - Nico Plat; Jan van Katwijk; Kees Pronk (VDM Europe (1), 1991)

The Delft VDM-SL Front-End. - Nico Plat; Kees Pronk; Marcel Verhoef (VDM Europe (1), 1991)

Standards for Non- Executable Specification Languages. - Peter Gorm Larsen; Nico Plat (Comput. J., 1992)

Application and benefits of formal methods in software development. - Nico Plat; Jan van Katwijk; Hans Toetenel (Softw. Eng. J., 1992)

An overview of the ISO/VDM-SL standard. - Nico Plat; Peter Gorm Larsen (ACM SIGPLAN Notices, 1992)

A Formal Semantics of Data Flow Diagrams. - Peter Gorm Larsen; Nico Plat; Hans Toetenel (Formal Aspects Comput., 1994)

The Future of Formal Methods in Industry. - Anthony Hall; David Lorge Parnas; Nico Plat; John M. Rushby; Chris T. Sennett (ZUM, 1995)

The Cash-Point (ATM) 'Problem'. - B. Tim Denvir; José Nuno Oliveira; Nico Plat (Formal Aspects Comput., 2000)

Syntax error repair for a Java-based parser generator. - Peter J. van der Spek; Nico Plat; Cornelis Pronk (ACM SIGPLAN Notices, 2005)

1st FME workshop on formal methods in software engineering (FormaliSE 2013). - Stefania Gnesi; Nico Plat (ICSE, 2013)

SysML fault modelling in a traffic management system of systems. - Claire Ingram; Zoe Andrews; Richard John Payne; Nico Plat (SoSE, 2014)

3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015). - Stefania Gnesi; Nico Plat (ICSE (2), 2015)

5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). - Stefania Gnesi; Nico Plat; Hernán C. Melgratti (FormaliSE@ICSE, 2017)