Zdancewic S.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Secure Information Flow and CPS	2001	Zdancewic S., Myers A. C.				Lecture Notes in Computer Science	27.04.2001
СТ	Pricipals in Programming Languages: A Syntactic Proof Technique	1999	Zdancewic S., Grossman D., Morrisett G.				SIGPLAN Notices	20.12.1999