1
by Corradini, Andrea
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: ...Logics and Meanings of Programs...