Agile Validation of Higher Order Transformations Using F-Alloy.

Loc Gammaitoni, Pierre Kelsen, Qin Ma

Browse the full TASE paper archive.