HASCASL: Integrated Higher-Order Specification and Program Development

by Lutz Schröder , Till Mossakowski
Citations:4 - 1 self