Formal methods and software engineering: 13th International Conference on Formal Engineeri… by Qin, Shengchao, International Conference on Formal Engineering Methods (13, 2011, Durham) fromLecture Notes in Computer Science 0 Type: Book
Formal methods: foundations and applications: 14th Brazilian symposium, SBMF 2011, Sao Paulo, S… by Simão, Adenilso, SBMF (14, 2011, São Paulo) fromLecture Notes in Computer Science 0 Type: Book
Testing software and systems: 23rd IFIP WG 6.1 International Conference, ICTSS … by ICTSS 2011, Paris, France), Wolff, Burkhart, Zaïdi, Fatiha fromLNCS sublibrary. SL 2, Programming and software engineering 0 Type: Book
Testing software and systems: 23rd IFIP WG 6.1 International Conference, ICTSS … by ICTSS 2011, Paris, France), Wolff, Burkhart, Zaïdi, Fatiha fromLecture Notes in Computer Science 0 Type: Book
Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevid… by Barthe, Gilles, Schneider, Gerardo, International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay), Pardo, Alberto fromLecture Notes in Computer Science 0 Type: Book
Theoretical aspects of computing 8th international colloquium ; proceedings: ICTAC 2011,Johannesburg, South Africa, August 31 … by Cerone, Antonio, ICTAC (8, 2011, Johannesburg) fromLecture Notes in Computer Science 0 Type: Book
