Вы здесь

Levitt K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Hierarchical Method for Reasoning about Distributed Programming Languages 1995 Zhang C., Becker B. R., Heckman M. R., Levitt K., Olsson R. A. Lecture Notes in Computer Science Higher Order Logic Theorem Proving and Its Applications 28.09.1995
СТ 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
СТ Report on the UCD Microcoded Viper Verification Project 1994 Arora T., Leung T., Levitt K., Schubert T., Windley P. Lecture Notes in Computer Science 18.06.1994