Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

FASE
1999
Springer

favoriteEmaildiscussreport

91views Software Engineering» more FASE 1999»

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

13 years 9 months ago

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

Download www.informatik.uni-bremen.de

Christoph Lüth, Haykal Tej, Kolyang, Bernd Kr

Real-time Traffic

FASE 1999 | Software Engineering |

claim paper

Related Content

» More About TAS and IsaWin Tools for Formal Program Development

» Modular development of certified program verifiers with a proof assistant

» Structured Formal Development in Isabelle

» It Is Time to Mechanize Programming Language Metatheory

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	FASE
Authors	Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner

Comments (0)