Shaw R.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL	1994	Zhang C., Shaw R., Olsson R. A., Levitt K., Archer M., Heckman M. R., Benson G. D.				Lecture Notes in Computer Science	18.06.1994