Transforming Specifications of Observable Behaviour into Programs.

David R. Gilbert, Christopher J. Hogger, Jir Zlatuska

Browse the full LOPSTR paper archive.