Mathematics of program construction. 375th anniversary of the Groningen University, international conference, Groningen, Netherlands, June 26-30, 1989. Proceedings

No author found.

Publication date: 17 September 1992

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Conference Proceedings program specification Groningen (Netherlands)concurrent programming program verification logics of programs program construction Mathematics of program construction Stepwise refinement

Mathematics Subject Classification ID

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