Active Bibliography
| 25 | HasCASL: Towards Integrated Specification and Development of Functional Programs – Lutz Schröder, Till Mossakowski - 2002 |
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2010 The Pennsylvania State University