TAS and IsaWin: Tools for transformational program developkment and theorem proving (1999)

by Christoph Lüth , Haykal Tej , Kolyang , Bernd Krieg-Brückner
Venue:FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING FASE’99, NUMBER 1577 IN LECTURE NOTES IN COMPUTER SCIENCE
Citations:11 - 3 self