TAS and IsaWin: Generic interfaces for transformational program development and theorem proving
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 855-858
- https://doi.org/10.1007/bfb0030646
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Correct and user-friendly implementations of transformation systemsPublished by Springer Nature ,1996
- Program Development by Specification and TransformationPublished by Springer Nature ,1993
- KIDS: a semiautomatic program development systemIEEE Transactions on Software Engineering, 1990