%0 Conference Paper %1 conf/dsd/OstroumovT11 %A Ostroumov, Sergey %A Tsiopoulos, Leonidas %B DSD %D 2011 %I IEEE Computer Society %K dblp %P 127-134 %T VHDL Code Generation from Formal Event-B Models. %U http://dblp.uni-trier.de/db/conf/dsd/dsd2011.html#OstroumovT11 %@ 978-1-4577-1048-3

@inproceedings{conf/dsd/OstroumovT11, added-at = {2023-03-23T00:00:00.000+0100}, author = {Ostroumov, Sergey and Tsiopoulos, Leonidas}, biburl = {https://www.bibsonomy.org/bibtex/2aa731e6e6246e61c1ed2b06c87c168cb/dblp}, booktitle = {DSD}, crossref = {conf/dsd/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/DSD.2011.20}, interhash = {688c3903e119651882a8ec39d2011047}, intrahash = {aa731e6e6246e61c1ed2b06c87c168cb}, isbn = {978-1-4577-1048-3}, keywords = {dblp}, pages = {127-134}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:12:09.000+0200}, title = {VHDL Code Generation from Formal Event-B Models.}, url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2011.html#OstroumovT11}, year = 2011 }