Publikation
Till Mossakowski, Serge Autexier, Dieter Hutter
In: Journal of Logic and Algebraic Programming (JLAP) 67 1-2 Seiten 114-145 2006.
@article{pub3904, author = { Mossakowski, Till and Autexier, Serge and Hutter, Dieter }, title = {Development Graphs -- Proof Management for Structured Specifications}, year = {2006}, volume = {67}, number = {1-2}, pages = {114--145}, journal = {Journal of Logic and Algebraic Programming (JLAP)} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2022