Publikation

Management of Change in Verification Systems

Dieter Hutter

In: Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000. IEEE International Conference on Automated Software Engineering (ASE) Seiten 23-34 IEEE Computer Society 2000.

http://www.dfki.de/vse/papers/hutter00.ps.gz (gz, 56 KB )

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