HasCASL: Towards Integrated Specification and Development of Functional Programs (2002)

Cached

Download Links

by Lutz Schröder , Till Mossakowski
Citations:24 - 10 self