Login / Signup

Proving consistency of VDM models using HOL.

Sander VermolenJozef HoomanPeter Gorm Larsen
Published in: SAC (2010)
Keyphrases