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

Teilen: