in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 6991 LNCS, Pages: 131-146
Conference
13Th International Conference on Formal Engineering Methods, Icfem 2011, Date: 26 October 2011 through 28 October 2011, Location: Durham, Sponsors: Formal Methods Europe (FME);Microsoft Research Limited;Teesside University
