![]() | ![]() |
2004 | ||
---|---|---|
1 | EE | Andrew J. Kornecki, Kimberley Hall, Darryl Hearn, Herman Lau, Janusz Zalewski: Evaluation of Software Development Tools for High Assurance Safety Critical Systems. HASE 2004: 273-274 |
1 | Kimberley Hall | [1] |
2 | Andrew J. Kornecki | [1] |
3 | Herman Lau | [1] |
4 | Janusz Zalewski | [1] |