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.

No author found.

Publication date: 17 June 2009

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

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)

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.