Вы здесь
O Halloran C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Model Based Code Verification | 2003 | O Halloran C. | Lecture Notes in Computer Science | 09.01.2004 | |||
| СТ | ClawZ: Control Laws in Z | 2000 | Arthan R., Caseley P., O Halloran C., Smith A. | Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 | 26.12.2000 | |||
| СТ | Evaluation Semantics in Z | 1994 | O Halloran C. | Lecture Notes in Computer Science | 14.12.1994 | |||
| СТ | Security through Type Analysis | 1994 | O Halloran C., Sennett C. T. | Lecture Notes in Computer Science | 06.12.1994 |