Cover Image
Saved in:

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings /

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88...

Full description

Bibliographic Details
Corporate Authors: International Conference on Formal Engineering Methods Queenstown, N.Z.), SpringerLink (Online service)
Format: Online Conference Proceeding Book
Language:English
Published: Heidelberg : Springer, [2013]
Series:Lecture notes in computer science ; 8144.
LNCS sublibrary. Programming and software engineering.
Subjects:
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!