%0 Conference Paper %1 journals/entcs/BodeiDGB07 %A Bodei, Chiara %A Degano, Pierpaolo %A Gao, Han %A Brodo, Linda %B SecCO@CONCUR %D 2007 %E Gorla, Daniele %E Palamidessi, Catuscia %I Elsevier %K dblp %N 1 %P 3-22 %T Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. %U http://dblp.uni-trier.de/db/conf/secco/secco2007.html#BodeiDGB07 %V 194

@inproceedings{journals/entcs/BodeiDGB07, added-at = {2023-02-09T00:00:00.000+0100}, author = {Bodei, Chiara and Degano, Pierpaolo and Gao, Han and Brodo, Linda}, biburl = {https://www.bibsonomy.org/bibtex/2c4592d7014bc409e9621436a6c76d9b9/dblp}, booktitle = {SecCO@CONCUR}, crossref = {conf/secco/2007}, editor = {Gorla, Daniele and Palamidessi, Catuscia}, ee = {https://doi.org/10.1016/j.entcs.2007.09.010}, interhash = {8297bf249be5728d2a889f2624651a97}, intrahash = {c4592d7014bc409e9621436a6c76d9b9}, keywords = {dblp}, number = 1, pages = {3-22}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T02:31:21.000+0200}, title = {Detecting and Preventing Type flaws: a Control Flow Analysis with Tags.}, url = {http://dblp.uni-trier.de/db/conf/secco/secco2007.html#BodeiDGB07}, volume = 194, year = 2007 }