Tests and Proofs - 6th International Conference, TAP 2012, Praque, Czech Republic, Mai 31 – June 1, 2012. Proceedings

By Achim D. Brucker and Jacques Julliand (Eds.).

Please cite this work as follows:
A. D. Brucker and J. Julliand, Eds., Tests and proofs - 6th international conference, TAP 2012, praque, czech republic, mai 31 – june 1, 2012. proceedings, vol. 7305. Heidelberg: Springer-Verlag, 2012. doi: 10.1007/978-3-642-30473-6.

BibTeX
@Proceedings{ brucker.ea:tap:2012,
  editor    = {Achim D. Brucker and Jacques Julliand},
  title     = {Tests and Proofs - 6th International Conference, TAP 2012,
               Praque, Czech Republic, Mai 31 -- June 1, 2012. Proceedings},
  publisher = {Springer-Verlag },
  address   = {Heidelberg },
  areas     = {formal methods, software},
  series    = {Lecture Notes in Computer Science },
  volume    = {7305},
  year      = {2012},
  isbn      = {978-3-642-21767-8},
  doi       = {10.1007/978-3-642-30473-6},
}