DMCA

Agile Validation of Higher Order Transformations using F-Alloy

Cached

Download Links

by Loïc Gammaitoni , Pierre Kelsen , Qin Ma