Special issue: Formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods (FM 2009), Eindhoven, The Netherlands, November 2--6, 2009.

Authors

Publication date 25 November 2011

Published in Formal Aspects of Computing (Search for Journal in Brave)

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(4)

VDM '91. Formal software development methods. Vol. 1: Conference contributions. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings
Introduction by the guest editor
Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, Düsseldorf, Germany, February 16--19, 2009.
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: Formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods (FM 2009), Eindhoven, The Netherlands, November 2--6, 2009.

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