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