Formal methods and software engineering: 13th International Conference on Formal Engineeri… by Qin, Shengchao, Qiu, Zongyan, International Conference on Formal Engineering Methods, Durham), ICFEM, Durham) fromLecture Notes in Computer Science 0 Type: Book
Formal methods and software engineering: 13th International Conference on Formal Engineeri… by Qin, Shengchao, Qiu, Zongyan, International Conference on Formal Engineering Methods, Durham), ICFEM, Durham) fromLecture Notes in Computer Science 0 Type: Book
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalbo… by Fahrenberg, Uli, FORMATS (9, 2011, Ålborg) fromLecture Notes in Computer Science 0 Type: Book
Reachability problems: 5th international workshop, RP 2011, Genoa, Italy… by Delzanno, Giorgio, RP, Genua, International Workshop on Reachability Problems, Genoa), RP, Genoa) fromLecture Notes in Computer Science 0 Type: Book
Formal methods and software engineering: 12th International Conference on Formal Engineeri… by International Conference on Formal Engineering Methods. <12, 2010, Shanghai> fromLecture Notes in Computer Science 0 Type: Book
