Login / Signup

Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan.

Jason BeltPatrice ChalinJohn Hatcliff Robby
Published in: HILT (2012)
Keyphrases