Bernhard Beckert; Ferruccio Damiani; Dilian Gurov profile picture

Bernhard Beckert; Ferruccio Damiani; Dilian Gurov

Is this your author profile? Create an account to claim and customize it!

Formal Verification of Object-Oriented Software