Publikation

Maintaining Formal Developments

Dieter Hutter

In: D. Basin , H. Ganzinger , J. Harrison , A. Pnueli (Hrsg.). Dagstuhl Seminar 03451, Applied Deductive Verification. Dagstuhl Seminare/Workshops 2003.

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence