TAP 2010 (2010 :)
Overview
| Works: | 3 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
Fraser, Gordon.; Gargantini, Angelo.; SpringerLink (Online service); TAP 2010 (2010 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Computer software- Verification
Computer Science.