|
by Closa, Daniel, Gardiner, Alex, Giemsa, Falk, Machek, Jörg
Published 2010
Subjects:
“...Computers and Society...”Published 2010
Springer Berlin Heidelberg
|
by Raabe, Oliver, Wacker, Richard, Oberle, Daniel, Baumann, Christian
Published 2012
Subjects:
“...Computer Science Logic and Foundations of Programming...”Published 2012
Springer Berlin Heidelberg