BibTeX
@inproceedings{DBLP:conf/aplas/DohSY02,
author = {Kyung-Goo Doh and
Seung Cheol Shin and
Kwangkeun Yi},
title = {Data Flow Analysis of Secure Information-Flow},
booktitle = {APLAS},
year = {2002},
pages = {352-365},
crossref = {DBLP:conf/aplas/2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aplas/2002,
title = {The Third Asian Workshop on Programming Languages and Systems,
APLAS'02, Shanghai Jiao Tong University, Shanghai, China,
November 29 - December 1, 2002, Proceedings},
booktitle = {APLAS},
year = {2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2004-06-01 by Michael Ley (ley@uni-trier.de)