%0 Conference Paper %1 conf/esop/FournetGN08 %A Fournet, Cédric %A Guts, Nataliya %A Nardelli, Francesco Zappa %B ESOP %D 2008 %E Drossopoulou, Sophia %I Springer %K dblp %P 383-397 %T A Formal Implementation of Value Commitment. %U http://dblp.uni-trier.de/db/conf/esop/esop2008.html#FournetGN08 %V 4960 %@ 978-3-540-78738-9

@inproceedings{conf/esop/FournetGN08, added-at = {2018-06-26T00:00:00.000+0200}, author = {Fournet, Cédric and Guts, Nataliya and Nardelli, Francesco Zappa}, biburl = {https://www.bibsonomy.org/bibtex/2dfe1aa4a4ec6619a52efc700a2453ee5/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2008}, editor = {Drossopoulou, Sophia}, ee = {https://doi.org/10.1007/978-3-540-78739-6_29}, interhash = {58a508deb62bc09f88f7369755fffadd}, intrahash = {dfe1aa4a4ec6619a52efc700a2453ee5}, isbn = {978-3-540-78738-9}, keywords = {dblp}, pages = {383-397}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:07:40.000+0200}, title = {A Formal Implementation of Value Commitment.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2008.html#FournetGN08}, volume = 4960, year = 2008 }