1
by Granström, Johan Georg
Published 2011
Springer Netherlands
Subjects: ...Computer Science Logic and Foundations of Programming...