Special issue: FM2009: 2nd world congress on formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods, Eindhoven, The Netherlands, November 2 -- November 6, 2009

zbMath1215.68011MaRDI QIDQ625621

No author found.

Publication date: 24 February 2011

Published in: Formal Methods in System Design (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) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Special issue: MEMOCODE 2004. Selected papers based on the presentations at the 2nd IEEE/ACM international conference on formal methods and models for co-design, San Diego, CA, USA, June 22--25, 2004.

This page was built for publication: Special issue: FM2009: 2nd world congress on formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods, Eindhoven, The Netherlands, November 2 -- November 6, 2009