Login / Signup

On the Implementation of OOD Frameworks in COM.

Shui Ming HoKung-Kiu Lau
Published in: EUROMICRO (2001)
Keyphrases
  • formal specification
  • model checking
  • information systems