Astree: Nachweis der Abwesenheit von Laufzeit.

Daniel Kästner Christian Ferdinand Stephan Wilhelm Stefana Nenova Olha Honcharova Patrick Cousot Radhia Cousot Jérôme Feret Laurent Mauborgne Antoine Miné Xavier Rival Élodie-Jane Sims

Published in: Softwaretechnik-Trends (2009)

Keyphrases