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 Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6706 0302-9743 ; . - Lecture Notes in Computer Science, 6706 .
9783642217685
10.1007/978-3-642-21768-5 doi
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.
QA76.758
005.1
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 Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6706 0302-9743 ; . - Lecture Notes in Computer Science, 6706 .
9783642217685
10.1007/978-3-642-21768-5 doi
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.
QA76.758
005.1