Вы здесь

Rajan S.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ 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