%0 Conference Paper %1 conf/issre/Iliasov11 %A Iliasov, Alexei %B WOSOCER %D 2011 %E Pietrantuono, Roberto %E Silva, Nuno %I IEEE Computer Society %K %P 43-48 %T Generation of Certifiably Correct Programs from Formal Models. %U http://dblp.uni-trier.de/db/conf/issre/wosocer2011.html#Iliasov11 %@ 978-0-7695-4617-9

@inproceedings{conf/issre/Iliasov11, added-at = {2023-12-13T01:45:25.000+0100}, author = {Iliasov, Alexei}, biburl = {https://www.bibsonomy.org/bibtex/208bac386b386bb398ae6a95c1bfecb87/admin}, booktitle = {WOSOCER}, crossref = {conf/issre/2011wosocer}, editor = {Pietrantuono, Roberto and Silva, Nuno}, ee = {http://doi.ieeecomputersociety.org/10.1109/WoSoCER.2011.14}, interhash = {75fff7126032be39d843d2e24f1f26e4}, intrahash = {08bac386b386bb398ae6a95c1bfecb87}, isbn = {978-0-7695-4617-9}, keywords = {}, pages = {43-48}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T01:45:25.000+0100}, title = {Generation of Certifiably Correct Programs from Formal Models.}, url = {http://dblp.uni-trier.de/db/conf/issre/wosocer2011.html#Iliasov11}, year = 2011 }