%0 Conference Paper %1 conf/icsr/LesaintP04 %A Lesaint, David %A Papamargaritis, George %B ICSR %D 2004 %I Springer %K %P 115-126 %T Aspects for Synthesizing Applications by Refinement. %U http://dblp.uni-trier.de/db/conf/icsr/icsr2004.html#LesaintP04 %V 3107 %@ 3-540-22335-5

@inproceedings{conf/icsr/LesaintP04, added-at = {2023-12-14T14:39:04.000+0100}, author = {Lesaint, David and Papamargaritis, George}, biburl = {https://www.bibsonomy.org/bibtex/246ad3457c77f232a1406e70691f04a76/admin}, booktitle = {ICSR}, crossref = {conf/icsr/2004}, ee = {https://doi.org/10.1007/978-3-540-27799-6_10}, interhash = {e1b0128c18188913567f59ccd3df1168}, intrahash = {46ad3457c77f232a1406e70691f04a76}, isbn = {3-540-22335-5}, keywords = {}, pages = {115-126}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T14:39:04.000+0100}, title = {Aspects for Synthesizing Applications by Refinement.}, url = {http://dblp.uni-trier.de/db/conf/icsr/icsr2004.html#LesaintP04}, volume = 3107, year = 2004 }