Publications

Displaying results 1 to 3 of 3

In: International Journal on Software Tools for Technology Transfer 3 1 Pages 66-77 Springer Berlin, Heidelberg 2000.

To the publication

In: Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development Techniques (WADT) Pages 73-88 Springer, LNCS 1827 2000.

To the publication

In: Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software Verification, Validation, and Certification Universitaet Kiel 2000.

To the publication

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