Structured object-oriented formal language and method : third international workshop, SOFL+MSVL 2013 : Queenstown, New Zealand, October 29, 2013 : revised selected papers : Oct 2013, Queenstown, New Zealand.
Structured object-oriented formal language and method : 3rd international workshop, SOFL+MSVL 2013 : Queenstown, New Zealand, October 29, 2013 : revised selected papers.