%0 Conference Paper %1 conf/nfm/FumexDGM16 %A Fumex, Clément %A Dross, Claire %A Gerlach, Jens %A Marché, Claude %B NFM %D 2016 %E Rayadurgam, Sanjai %E Tkachuk, Oksana %I Springer %K %P 291-306 %T Specification and Proof of High-Level Functional Properties of Bit-Level Programs. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2016.html#FumexDGM16 %V 9690 %@ 978-3-319-40647-3

@inproceedings{conf/nfm/FumexDGM16, added-at = {2023-12-13T02:08:21.000+0100}, author = {Fumex, Clément and Dross, Claire and Gerlach, Jens and Marché, Claude}, biburl = {https://www.bibsonomy.org/bibtex/2a7c23e1613cf5cd46a3ac4dd6a3e50ba/admin}, booktitle = {NFM}, crossref = {conf/nfm/2016}, editor = {Rayadurgam, Sanjai and Tkachuk, Oksana}, ee = {https://doi.org/10.1007/978-3-319-40648-0_22}, interhash = {7b691a54c6bfe521d275a9db59441e6b}, intrahash = {a7c23e1613cf5cd46a3ac4dd6a3e50ba}, isbn = {978-3-319-40647-3}, keywords = {}, pages = {291-306}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:08:21.000+0100}, title = {Specification and Proof of High-Level Functional Properties of Bit-Level Programs.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2016.html#FumexDGM16}, volume = 9690, year = 2016 }