Login / Signup

A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.

Bart JacobsJan SmansFrank PiessensWolfram Schulte
Published in: ICFEM (2006)
Keyphrases
  • high level
  • case study
  • computational model
  • information systems
  • object oriented