Applied Formal Methods - FM-Trends 98: Proc./Intern. Workshop on Current Trends in Applied Formal Methods. Boppard, Germany, October 1998

Б2.2, Б3.5, Б2.13.

Applied Formal Methods - FM-Trends 98: Proc./Intern. Workshop on Current Trends in Applied Formal Methods. Boppard, Germany, October 1998Ed. by Hutter D., Stephan W., Traverso P., Ullmann M..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1641.-377 p.-(Lecture Notes in Computer Science).