Publikation

Book review: L. M. G. Feijs and H. B. M. Jonkers, Formal Specification and Design, Cambridge University Press, 2005

Lutz Schröder

2007.

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