FM 2009：formal methods

Corporate Authors: International Symposium of Formal Methods Europe (16th 2009 Eindhove, The Netherlands); SpringerLink (Online service)
Group Author: Dams Dennis.; Cavalcanti Ana.
Published: Springer,
Publication Dates: 2009.