Warmest congratulations, Frank!

DOI10.1007/978-3-319-30734-3_3zbMath1475.68013OpenAlexW2346069449MaRDI QIDQ2026778

Willem Paul de Roever

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_3

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03)

This page was built for publication: Warmest congratulations, Frank!