Personal tools
You are here: Home Publications bibtex KKL04.bib

KKL04.bib

KKL04.bib — Bibtex bibliographic data, 309 bytes

File contents

@article{KKL04,
	author = {M.~Kim and S.~Kannan and I~.Lee and O.~Sokolsky and M.~Viswanathan},
	title = "{J}ava-{M}a{C}: A Run-Time Assurance Approach for Java Programs",
	journal = "Formal Methods in System Design (FMSD)",
	volume=24,
	number=2,
	pages="129--155", 
	year="2004",
	month="March"
}
Document Actions
« September 2017 »
September
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930