Static Analysis with Set-Closure in Secrecy
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon
Static Analysis with Set-Closure in Secrecy
SAS, 2015.

SAS 2015
Full names Links ISxN
	author        = "Woosuk Lee and Hyunsook Hong and Kwangkeun Yi and Jung Hee Cheon",
	booktitle     = "{Proceedings of the 22nd International Static Analysis Symposium}",
	doi           = "10.1007/978-3-662-48288-9_2",
	isbn          = "978-3-662-48287-2",
	pages         = "18--35",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Static Analysis with Set-Closure in Secrecy}",
	volume        = 9291,
	year          = 2015,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.