Login / Signup
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.
Bart Jacobs
Jan Smans
Frank Piessens
Wolfram Schulte
Published in:
ICFEM (2006)
Keyphrases
</>
high level
case study
computational model
information systems
object oriented