Structured object-oriented formal language and method : second international workshop, SOFL 2012 : Kyoto, Japan, November 13, 2012 : revised selected papers : WSOFL 2012 workshop : mini tutorial on SOFL : Nov 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7787)
Structured object-oriented formal language and method : second international workshop, SOFL 2012 : Kyoto, Japan, November 13, 2012 : revised selected papers : WSOFL 2012 workshop : mini tutorial on SOFL : Nov 2012, Kyoto, Japan.