Вы здесь

Rajan S.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Integration of Model Checking with Automated Proof Checking 1995 Rajan S., Shankar N., Srivas M. K. Lecture Notes in Computer Science 26.07.1995
СТ From Abstract Data Types to Shift Registers: A Case Study in Formal Specification and Verification at Differing Levels of Abstraction using Theorem Proving and Symbolic Simulation 1994 Rajan S., Joyce J., Seger C. -J. Lecture Notes in Computer Science 21.06.1994