%0 Book Section %1 conf/birthday/FalconeFM14 %A Falcone, Yliès %A Fernandez, Jean-Claude %A Mounier, Laurent %B HOWARD-60 %D 2014 %E Voronkov, Andrei %E Korovina, Margarita V. %I EasyChair %K %P 112-123 %T On the Expressiveness of some Runtime Validation Techniques. %U http://dblp.uni-trier.de/db/conf/birthday/howard2014.html#FalconeFM14 %V 42

@incollection{conf/birthday/FalconeFM14, added-at = {2023-12-12T22:12:31.000+0100}, author = {Falcone, Yliès and Fernandez, Jean-Claude and Mounier, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/288fb4a05efdcda7e361b194d8b4fecd8/admin}, booktitle = {HOWARD-60}, crossref = {conf/birthday/2014howard}, editor = {Voronkov, Andrei and Korovina, Margarita V.}, ee = {http://www.easychair.org/publications/?page=2068767048}, interhash = {481af0ef0b0f51d7b89da5e16accaa02}, intrahash = {88fb4a05efdcda7e361b194d8b4fecd8}, keywords = {}, pages = {112-123}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-12T22:12:31.000+0100}, title = {On the Expressiveness of some Runtime Validation Techniques.}, url = {http://dblp.uni-trier.de/db/conf/birthday/howard2014.html#FalconeFM14}, volume = 42, year = 2014 }