%0 Conference Paper %1 conf/lopstr/BellotR98 %A Bellot, Patrick %A Robinet, Bernard J. %B LOPSTR %D 1998 %E Flener, Pierre %I Springer %K dblp %P 316-318 %T Logical Synthesis of Imperative O. O. Programs. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr98.html#BellotR98 %V 1559 %@ 3-540-65765-7

@inproceedings{conf/lopstr/BellotR98, added-at = {2022-02-24T00:00:00.000+0100}, author = {Bellot, Patrick and Robinet, Bernard J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ef6718b3b9a008832e51335ef844bce1/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/1998}, editor = {Flener, Pierre}, ee = {https://doi.org/10.1007/3-540-48958-4_20}, interhash = {e8f30bdba46e780fead7b2b902df83c2}, intrahash = {ef6718b3b9a008832e51335ef844bce1}, isbn = {3-540-65765-7}, keywords = {dblp}, pages = {316-318}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2022-03-01T07:20:45.000+0100}, title = {Logical Synthesis of Imperative O. O. Programs.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr98.html#BellotR98}, volume = 1559, year = 1998 }