Wolff, Burkhart.
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / [electronic resource] : edited by Burkhart Wolff, Fatiha Zaïdi. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 7019 0302-9743 ; . - Lecture Notes in Computer Science, 7019 .
9783642245800
10.1007/978-3-642-24580-0 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Techniques.
Models and Principles.
QA76.758
005.1
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / [electronic resource] : edited by Burkhart Wolff, Fatiha Zaïdi. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 7019 0302-9743 ; . - Lecture Notes in Computer Science, 7019 .
9783642245800
10.1007/978-3-642-24580-0 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Techniques.
Models and Principles.
QA76.758
005.1