Tests and Proofs
Subtitle: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
By: edited by Achim D. Brucker, Jacques Julliand
Contributors: Julliand, Jacques; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7305
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642304736
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Software engineering; Simulation and Modeling; Logic design; Logics and Meanings of Programs; Computer simulation; Programming Languages, Compilers, Interpreters; Computer science