Dan Turk;Robert B. France;Bernhard Rumpe;Geri Georg
-;-;-;-
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering