Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings - TAP 2010 2010 : Malaga, Spain); Fraser, Gordon; Gargantini, Angelo; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Computer software -- Testing -- Congresses; Computer software -- Verification -- Congresses; Formal methods (Computer science) -- Congresses; Programming Techniques; Software Engineering; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Computer Science