Tests and Proofs
Gogolla, Martin.
Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / [electronic resource] : edited by Martin Gogolla, Burkhart Wolff. - Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6706 0302-9743 ; .
9783642217685
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Techniques
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / [electronic resource] : edited by Martin Gogolla, Burkhart Wolff. - Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6706 0302-9743 ; .
9783642217685
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Techniques
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters