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

Cached

Download Links

by Lutz Schröder , Till Mossakowski
Citations:25 - 11 self