FM 2009: Formal methods second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings (Springer, 2009)
Literaturangaben