Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development

Cached

Download Links

by Universität Des Saarlandes , Dekan Prof , Dr. -ing Thorsten Herfet , Vorsitzender Prof , Dr. Gert Smolka , Akademischer Mitarbeiter , Dr. Dieter Hutter , Gutachter Prof , Dr. Jörg , H. Siekmann , Universität Des Saarlandes , Prof Dr , Bernd Krieg-brückner , Dr. Alan Smaill