Nicholas Kidd, Akash Lal, Thomas W. Reps
Language Strength Reduction
SAS, 2008.
@inproceedings{SAS-2008-KiddLR,
author = "Nicholas Kidd and Akash Lal and Thomas W. Reps",
booktitle = "{Proceedings of the 15th International Static Analysis Symposium}",
doi = "10.1007/978-3-540-69166-2_19",
isbn = "978-3-540-69163-1",
pages = "283--298",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Language Strength Reduction}",
volume = 5079,
year = 2008,
}
Tags: