Infoscience
6th Ada-Europe International Conference on Reliable Software Technologies
May 14–18, 2001
Leuven, Belgium