Dilian Gurov

1 published title

Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers

(Contributor)

1 edition