Вы здесь
Mander K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Automated Program Flaw Finding using Simulated Annealing | 1998 | Tracey N., Clark J., Mander K. | Software Engineering Notes | 30.07.1998 | |||
| СТ | The SAZ Project: Integrating SSADM and Z | 1993 | Polack F., Whiston M., Mander K. | Lecture Notes in Computer Science | 27.05.1993 |