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

Lignende værker

• Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : Revised Selected Papers /
  Udgivet: (2014, c2014)
• From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl /
  af: Olaf Owe, Stein Krogdahl, Tom Lyche
  Udgivet: (2004, c2004)
• Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
  af: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue
  Udgivet: (2013, c2013)
• Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /
  af: Toshiaki Aoki, Kenji Taguchi
  Udgivet: (2012, c2012)
• Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
  af: Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
  Udgivet: (2010, c2010)