HASCASL: Integrated Higher-Order Specification and Program Development

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