Structured Object-Oriented Formal Language and Method: Revised Selected Papers/2nd International Workshop, SOFL 2012, Kyoto, Japan, November 2012

Б2.2, Б3.54.

Structured Object-Oriented Formal Language and Method: Revised Selected Papers/2nd International Workshop, SOFL 2012, Kyoto, Japan, November 2012Ed. by Liu Sh..-Berlin.: Springer, 2013.-Vol. 7787.-149 p.-(Lecture Notes in Computer Science).