1
by Fokkink, Wan
Published 2007
Springer Berlin Heidelberg
Subjects: ...Computer logic...