| 2006 | ||
|---|---|---|
| 1 | EE | Alexey Grinevich, Alexey Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir Rubanov: Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference 2006: 456-466 |
| 1 | Alexey Grinevich | [1] |
| 2 | Alexey Khoroshilov | [1] |
| 3 | Victor V. Kuliamin | [1] |
| 4 | Alexandre Petrenko | [1] |
| 5 | Vladimir Rubanov | [1] |