Вы здесь
Lin T. -M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | (True) Polymorphism in SPARK2000 | 2000 | Lin T. -M., Mcdermid J. A. | Lecture Notes in Computer Science | 29.07.2000 | |||
| СТ | A Behavioral Notion of Subtyping for Object-Oriented Programming in SPARK95 | 2003 | Lin T. -M., Mcdermid J. A. | Lecture Notes in Computer Science | 28.06.2003 | |||
| СТ | Adding Temporal Annotations and Associated Verification to the Ravenscar Profile | 2003 | Burns A., Lin T. -M. | Lecture Notes in Computer Science | 28.06.2003 |