Mechanical Abstraction of CSP

Alexandre Mota, Paulo Borba, Augusto Sampaio

Browse the full FM paper archive.