Tests and proofs [E-Book] : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / ed. by B. Beckert ...
Beckert, B., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540791249 (e-book)
9783540791232
Lecture notes in computer science ; 4966
Full Text
Description not available.