Laurent Mounier

1 published title

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, proceedings

(Contributor)

1 edition