%0 Conference Paper %1 conf/qsic/YahyaouiDT07 %A Yahyaoui, Hamdi %A Debbabi, Mourad %A Tawbi, Nadia %B QSIC %D 2007 %I IEEE Computer Society %K dblp %P 348-355 %T A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. %U http://dblp.uni-trier.de/db/conf/qsic/qsic2007.html#YahyaouiDT07

@inproceedings{conf/qsic/YahyaouiDT07, added-at = {2023-03-23T00:00:00.000+0100}, author = {Yahyaoui, Hamdi and Debbabi, Mourad and Tawbi, Nadia}, biburl = {https://www.bibsonomy.org/bibtex/2fbec7d22debb978c782b3edb92584945/dblp}, booktitle = {QSIC}, crossref = {conf/qsic/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/QSIC.2007.2}, interhash = {2be90174a720e1e26365c74ebce7ef5b}, intrahash = {fbec7d22debb978c782b3edb92584945}, keywords = {dblp}, pages = {348-355}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:18:24.000+0200}, title = {A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.}, url = {http://dblp.uni-trier.de/db/conf/qsic/qsic2007.html#YahyaouiDT07}, year = 2007 }