On the Organisation of Program Verification Competitions.

Marieke Huisman Vladimir Klebanov Rosemary Monahan

Published in: COMPARE (2012)

Keyphrases

knowledge management
image quality
social networks
information technology
software engineering