%0 Journal Article %1 journals/jlp/MossakowskiAH06 %A Mossakowski, Till %A Autexier, Serge %A Hutter, Dieter %D 2006 %J J. Log. Algebraic Methods Program. %K %N 1-2 %P 114-145 %T Development graphs - Proof management for structured specifications. %U http://dblp.uni-trier.de/db/journals/jlp/jlp67.html#MossakowskiAH06 %V 67

@article{journals/jlp/MossakowskiAH06, added-at = {2023-12-13T06:48:25.000+0100}, author = {Mossakowski, Till and Autexier, Serge and Hutter, Dieter}, biburl = {https://www.bibsonomy.org/bibtex/25d0bc72927abecdcd6f8866113bf82a2/admin}, ee = {https://doi.org/10.1016/j.jlap.2005.09.005}, interhash = {b1ed0d308fbe83707bda4d422ca2b1f0}, intrahash = {5d0bc72927abecdcd6f8866113bf82a2}, journal = {J. Log. Algebraic Methods Program.}, keywords = {}, number = {1-2}, pages = {114-145}, timestamp = {2023-12-13T06:48:25.000+0100}, title = {Development graphs - Proof management for structured specifications.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp67.html#MossakowskiAH06}, volume = 67, year = 2006 }