%0 Conference Paper %1 conf/ictcs/MedelCB05 %A Medel, Ricardo H. %A Compagnoni, Adriana B. %A Bonelli, Eduardo %B ICTCS %D 2005 %E Coppo, Mario %E Lodi, Elena %E Pinna, G. Michele %I Springer %K dblp %P 360-374 %T A Typed Assembly Language for Non-interference. %U http://dblp.uni-trier.de/db/conf/ictcs/ictcs2005.html#MedelCB05 %V 3701 %@ 3-540-29106-7

@inproceedings{conf/ictcs/MedelCB05, added-at = {2024-04-13T00:00:00.000+0200}, author = {Medel, Ricardo H. and Compagnoni, Adriana B. and Bonelli, Eduardo}, biburl = {https://www.bibsonomy.org/bibtex/2a819fcdfb007eb497751ed6aa8a56fe1/dblp}, booktitle = {ICTCS}, crossref = {conf/ictcs/2005}, editor = {Coppo, Mario and Lodi, Elena and Pinna, G. Michele}, ee = {https://doi.org/10.1007/11560586_29}, interhash = {b984a927c8bd45e1798f9b198b894a17}, intrahash = {a819fcdfb007eb497751ed6aa8a56fe1}, isbn = {3-540-29106-7}, keywords = {dblp}, pages = {360-374}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:05:28.000+0200}, title = {A Typed Assembly Language for Non-interference.}, url = {http://dblp.uni-trier.de/db/conf/ictcs/ictcs2005.html#MedelCB05}, volume = 3701, year = 2005 }