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...
|Format:||Online Conference Proceeding Book|
|Series:||Lecture notes in computer science ;
LNCS sublibrary. Programming and software engineering.
|Online Access:||Online version|
No Tags, Be the first to tag this record!