Special issue: Mathematics of program construction (MPC 2006). Selected papers based on the presentations at the 8th international conference, Kuressaare, Estonia, July 3--5, 2006.

zbMATH Open1198.68067MaRDI QIDQ1024264FDOQ1024264

Authors:

Publication date: 17 June 2009

Published in: Science of Computer Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (4)

• Special issue: Methods of software design: techniques and applications. Selected, revised and extended versions based on the presentation at the 6th international conference on the mathematics of program construction (MPC2002), Schloß\ Dagstuhl, Germany, July 2002.
• Special issue: Programming languages and mechanized mathematics systems (PLMMS). Selected papers based on the presentations at the workshops, Hagenburg, Austria, June 29-30, 2007, and Birmingham, Uk, July 29, 2008
• Special issue: Mathematics of program construction, MPC 2000. 5th international conference, Ponte de Lima, Portugal, July 3--7, 2000
• Special issue on mathematics of program construction. 4th international conference, Island of Marstrand near Göteborg, Sweden, June 1998

This page was built for publication: Special issue: Mathematics of program construction (MPC 2006). Selected papers based on the presentations at the 8th international conference, Kuressaare, Estonia, July 3--5, 2006.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1024264)