%0 Conference Paper %1 conf/scam/TliliFBDH14 %A Tlili, Syrine %A Fernandez, José M. %A Belghith, Abdelfettah %A Dridi, Bilel %A Hidouri, Soufien %B SCAM %D 2014 %I IEEE Computer Society %K dblp %P 115-124 %T Scalable Security Verification of Software at Compile Time. %U http://dblp.uni-trier.de/db/conf/scam/scam2014.html#TliliFBDH14 %@ 978-0-7695-5304-7

@inproceedings{conf/scam/TliliFBDH14, added-at = {2023-08-28T00:00:00.000+0200}, author = {Tlili, Syrine and Fernandez, José M. and Belghith, Abdelfettah and Dridi, Bilel and Hidouri, Soufien}, biburl = {https://www.bibsonomy.org/bibtex/249ed41cf3b70742ba23394036ca3ec55/dblp}, booktitle = {SCAM}, crossref = {conf/scam/2014}, ee = {https://www.wikidata.org/entity/Q117284898}, interhash = {d4f13f69835cac717b48c126b5c189ea}, intrahash = {49ed41cf3b70742ba23394036ca3ec55}, isbn = {978-0-7695-5304-7}, keywords = {dblp}, pages = {115-124}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:13:33.000+0200}, title = {Scalable Security Verification of Software at Compile Time.}, url = {http://dblp.uni-trier.de/db/conf/scam/scam2014.html#TliliFBDH14}, year = 2014 }