1
by Raabe, Oliver, Wacker, Richard, Oberle, Daniel, Baumann, Christian
Published 2012
Springer Berlin Heidelberg
Subjects: ...Computer logic...