%0 Conference Paper %1 conf/tapsoft/CazinCJLM91 %A Cazin, Jacques %A Cros, Patrice %A Jacquart, René %A Lemoine, Michel %A Michel, P. %B TAPSOFT, Vol.2 %D 1991 %E Abramsky, Samson %E Maibaum, T. S. E. %I Springer %K dblp %P 120-136 %T Construction and Reuse of Formal Program Developments. %U http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft91-2.html#CazinCJLM91 %V 494 %@ 3-540-53981-6

@inproceedings{conf/tapsoft/CazinCJLM91, added-at = {2017-05-19T00:00:00.000+0200}, author = {Cazin, Jacques and Cros, Patrice and Jacquart, René and Lemoine, Michel and Michel, P.}, biburl = {https://www.bibsonomy.org/bibtex/209983de99938ffed56b6b9850e394be5/dblp}, booktitle = {TAPSOFT, Vol.2}, crossref = {conf/tapsoft/1991-2}, editor = {Abramsky, Samson and Maibaum, T. S. E.}, ee = {https://doi.org/10.1007/3540539816_64}, interhash = {32f9c37039860f2dbb52e1ae7094ee76}, intrahash = {09983de99938ffed56b6b9850e394be5}, isbn = {3-540-53981-6}, keywords = {dblp}, pages = {120-136}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:25:52.000+0200}, title = {Construction and Reuse of Formal Program Developments.}, url = {http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft91-2.html#CazinCJLM91}, volume = 494, year = 1991 }