in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 8144 LNCS, Pages: 165-181
Conference
15Th International Conference on Formal Engineering Methods, Icfem 2013, Date: 29 October 2013 through 1 November 2013, Location: Queenstown, Sponsors: The University of Auckland