%0 Conference Paper %1 journals/corr/DoligezFHM14 %A Doligez, Damien %A Faure, Christèle %A Hardin, Thérèse %A Maarek, Manuel %B F-IDE %D 2014 %E Dubois, Catherine %E Giannakopoulou, Dimitra %E Méry, Dominique %K dblp %P 58-63 %T Experience in using a typed functional language for the development of a security application. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs149.html#DoligezFHM14 %V 149

@inproceedings{journals/corr/DoligezFHM14, added-at = {2023-08-28T00:00:00.000+0200}, author = {Doligez, Damien and Faure, Christèle and Hardin, Thérèse and Maarek, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/20668fa6e03b28ae5dc43ef1964d56f35/dblp}, booktitle = {F-IDE}, crossref = {journals/corr/DuboisGM14}, editor = {Dubois, Catherine and Giannakopoulou, Dimitra and Méry, Dominique}, ee = {https://www.wikidata.org/entity/Q114926782}, interhash = {87194cbf06d464e8fe95f823d62ba581}, intrahash = {0668fa6e03b28ae5dc43ef1964d56f35}, keywords = {dblp}, pages = {58-63}, series = {EPTCS}, timestamp = {2024-04-10T22:24:06.000+0200}, title = {Experience in using a typed functional language for the development of a security application.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs149.html#DoligezFHM14}, volume = 149, year = 2014 }