Specification for Verification.

Hans Hansson, Bengt Jonsson, Fredrik Orava, Bjrn Pehrson

Browse the full FORTE paper archive.