Flemming Nielson

Books
Trustworthy Global Computing Trustworthy Global Computing
Trustworthy Global Computing
2009
Semantics with Applications: An Appetizer Semantics with Applications: An Appetizer
Semantics with Applications: An Appetizer
2007