Mathematics of program construction. 375th anniversary of the Groningen University, international conference, Groningen, Netherlands, June 26-30, 1989. Proceedings
zbMath0751.68006MaRDI QIDQ1187672
No author found.
Publication date: 17 September 1992
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
ConferenceProceedingsprogram specificationGroningen (Netherlands)concurrent programmingprogram verificationlogics of programsprogram constructionMathematics of program constructionStepwise refinement
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
This page was built for publication: Mathematics of program construction. 375th anniversary of the Groningen University, international conference, Groningen, Netherlands, June 26-30, 1989. Proceedings