KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.

Crystal Chang Din, Richard Bubel, Reiner Hhnle

Browse the full CADE paper archive.