Amey, Peter "Logic versus Magic in Critical Systems" (2001) |
Reliable Software Technologies (D. (2001) Reliable Software Technologies (D. Craeynest and A. Strohmeier (Eds.)) - Ada-Europe 2001 Proceedings of 6th Ada-Europe International Conference, Leuven, Belgium, May 14-18, 2001 LNCS 2043 Springer
|
|