|
by Raabe, Oliver, Wacker, Richard, Oberle, Daniel, Baumann, Christian
Published 2012
Subjects:
“...Computer Science Logic and Foundations of Programming...”Published 2012
Springer Berlin Heidelberg