You are about to access our book library "Reliable Software Technologies ADA-Europe 2000: 5th ADA-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings full version" .