%0 Conference Paper %1 conf/nfm/LiuSMO020 %A Liu, Si %A Sandur, Atul %A Meseguer, José %A Ölveczky, Peter Csaba %A Wang, Qi %B NFM %D 2020 %E Lee, Ritchie %E Jha, Susmit %E Mavridou, Anastasia %I Springer %K dblp %P 22-40 %T Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2020.html#LiuSMO020 %V 12229 %@ 978-3-030-55754-6

@inproceedings{conf/nfm/LiuSMO020, added-at = {2023-09-20T00:00:00.000+0200}, author = {Liu, Si and Sandur, Atul and Meseguer, José and Ölveczky, Peter Csaba and Wang, Qi}, biburl = {https://www.bibsonomy.org/bibtex/2b3c8f7a6a5f3f1ddaee1544378d0b4cf/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2020}, editor = {Lee, Ritchie and Jha, Susmit and Mavridou, Anastasia}, ee = {https://doi.org/10.1007/978-3-030-55754-6_2}, interhash = {a15f01c44ec6f36859c80e74a9b8291a}, intrahash = {b3c8f7a6a5f3f1ddaee1544378d0b4cf}, isbn = {978-3-030-55754-6}, keywords = {dblp}, pages = {22-40}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:03:30.000+0200}, title = {Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2020.html#LiuSMO020}, volume = 12229, year = 2020 }