Transformations of specifications and proofs to support an evolutionary formal software development axel schairer dissertation zur erlangung des grades des doktors der ingenieurwissenschaften der naturwissenschaftlich technischen fakultaten der universitat des saarlandes saarbrucken 2005. Changes to specifications and verification proofs are a core part of this activity and tool support for the evolutionary aspect of formal software development is indispensable. Transformations of specifications and proofs to support an evolutionary formal software development berichte aus der informatik amazonin schairer axel books. Transformations of specifications and proofs to support an evolutionary formal software development berichte aus der informatik axel schairer on amazoncom free shipping on qualifying offers. Buy transformations of specifications and proofs to support an evolutionary formal software development by schairer axel online on amazonae at best prices fast and free shipping free returns cash on delivery available on eligible purchase