Abstract State Machines: Theoy and Applications: Proc./Intern. Workshop, ASM 2000, Monte Verita, Switzerland, March 2000

Б2.2, Б3.5, Б2.1, Б3.2.

Abstract State Machines: Theoy and Applications: Proc./Intern. Workshop, ASM 2000, Monte Verita, Switzerland, March 2000Ed. by Gurevich Y., Kutter P. W., Odersky M., Thiele L..-Berlin, Heidelberg.: Springer, 2000.-Vol. 1912.-381 p.-(Lecture Notes in Computer Science).