in SCIENCE OF COMPUTER PROGRAMMING, ISSN: 0167-6423
Volume: 126, Pages: 73-93 (21)
Conference
17Th Brazilian Symposium on Formal Methods (Sbmf) as Part of 5Th Brazilian Conference on Software - Theory and Practice (Cbsoft), Date: SEP 29-OCT 01, 2014, Location: Maceio, BRAZIL, Sponsors: Univ Fed Alagoas, Brazilian Natil Inst Sci & Technol Software Engn, CAPES, CNPq, Google Inc