1
Published 2016
Springer International Publishing
Subjects: ...Logics and Meanings of Programs...