Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Bernhard Beckert, Reiner Hähnle, editors, Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. Volume 4966 of Lecture Notes in Computer Science, Springer, 2008.

Conference: tapsoft2008

Editors

Bernhard Beckert

This author has not been identified. Look up 'Bernhard Beckert' in Google

Reiner Hähnle

This author has not been identified. Look up 'Reiner Hähnle' in Google