Tests and Proofs [E-Book]: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand.
Brucker, Achim D.
Julliand, Jacques.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
digital.
englisch
9783642304736
10.1007/978-3-642-30473-6
Lecture notes in computer science ; 7305
Full Text
Description not available.