HASCASL: Integrated Higher-Order Specification and Program Development

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