Heiko Mantel;Felix C. Gärtner
-;-
Towards an Evolutionary Formal Software Development
Proceedings of the 16th IEEE international conference on Automated software engineering