Skip to main content Skip to main navigation

Publication

Towards an Evolutionary Formal Software Development

Dieter Hutter; Axel Schairer
In: Proceedings 16th IEEE International Conference on Automated Software Engineering, ASE-2001. IEEE International Conference on Automated Software Engineering (ASE), San Diego, IEEE Computer Society, 2001.