%0 Conference Paper %1 conf/irep/BroustautFFIF95 %A Broustaut, Frédéric %A Fabre, Christian %A de Ferrière, François %A Ivanov, Éric %A Fiorentini, Mauro %B Intermediate Representations Workshop %D 1995 %E Ernst, Michael D. %I ACM %K dblp %P 103-110 %T Verification of ANDF Components. %U http://dblp.uni-trier.de/db/conf/irep/irep95.html#BroustautFFIF95 %@ 0-89791-754-5

@inproceedings{conf/irep/BroustautFFIF95, added-at = {2021-10-14T00:00:00.000+0200}, author = {Broustaut, Frédéric and Fabre, Christian and de Ferrière, François and Ivanov, Éric and Fiorentini, Mauro}, biburl = {https://www.bibsonomy.org/bibtex/2c69f408490a520e5ae88d11dcecb5bb4/dblp}, booktitle = {Intermediate Representations Workshop}, crossref = {conf/irep/1995}, editor = {Ernst, Michael D.}, ee = {https://doi.org/10.1145/202530.202540}, interhash = {269131c78fb146336017743b07cc403c}, intrahash = {c69f408490a520e5ae88d11dcecb5bb4}, isbn = {0-89791-754-5}, keywords = {dblp}, pages = {103-110}, publisher = {ACM}, timestamp = {2024-04-09T11:52:38.000+0200}, title = {Verification of ANDF Components.}, url = {http://dblp.uni-trier.de/db/conf/irep/irep95.html#BroustautFFIF95}, year = 1995 }