Modelling program verification tools for software engineers.

Sophie Lathouwers, Vadim Zaytsev

Browse the full MODELS paper archive.