Reliable Software Technologies - Ada-Europe 2007: Proc./12th Ada-Europe International Conference on Reliable Software Technologies. Geneva, Switzerland, June 2007

Б3.13, Б3.2, Б3.5.

Reliable Software Technologies - Ada-Europe 2007: Proc./12th Ada-Europe International Conference on Reliable Software Technologies. Geneva, Switzerland, June 2007Ed. by Abdennadher N., Kordon F..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4498.-247 p.-(Lecture Notes in Computer Science).