%0 Conference Paper %1 conf/sefm/DuboisR14 %A Dubois, Catherine %A Rioboo, Renaud %B SEFM %D 2014 %E Giannakopoulou, Dimitra %E Salaün, Gwen %I Springer %K dblp %P 317-331 %T Verified Functional Iterators Using the FoCaLiZe Environment. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2014.html#DuboisR14 %V 8702 %@ 978-3-319-10430-0

@inproceedings{conf/sefm/DuboisR14, added-at = {2017-05-21T00:00:00.000+0200}, author = {Dubois, Catherine and Rioboo, Renaud}, biburl = {https://www.bibsonomy.org/bibtex/22ae1a484452e1cd3a7667e3778836448/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2014}, editor = {Giannakopoulou, Dimitra and Salaün, Gwen}, ee = {https://doi.org/10.1007/978-3-319-10431-7_26}, interhash = {26cd9ba2ba07f2226d15af4b4326416e}, intrahash = {2ae1a484452e1cd3a7667e3778836448}, isbn = {978-3-319-10430-0}, keywords = {dblp}, pages = {317-331}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:52:57.000+0200}, title = {Verified Functional Iterators Using the FoCaLiZe Environment.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2014.html#DuboisR14}, volume = 8702, year = 2014 }