Вы здесь
Gravell A. M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Verification conditions are code | 2007 | Gravell A. M. | Acta Informatica | 10.02.2007 | |||
| СТ | The Benefits of Rapid Modeling for E-business System Development | 2004 | Augusto J. C., Ferreira C., Gravell A. M., Leuschel M. A., Ng K.M. Y. | Lecture Notes in Computer Science | 06.01.2004 | |||
| СТ | Refinement Semantics and Loop Rules | 1999 | Hehner E.C. R., Gravell A. M. | Lecture Notes in Computer Science | 26.10.1999 |