Menu

Jan Schwinghammer

1 published title

Denotional semantics for Abadi and Leino's logic of objects

(Contributor)

1 edition

  • Department of Informatics, University of Sussex
  • 2004
  • Details

obnb.uk is a Good Stuff website.