in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 8938, Páginas: 147-163 (17)
Conference
12Th International Conference on Software Engineering and Formal Methods (Sefm), Date: SEP 01-05, 2014, Location: Grenoble, FRANCE, Patrocinadores: Inria