VMCAI 2004 (Conference) (2004 Venice, Italy) profile picture

VMCAI 2004 (Conference) (2004 Venice, Italy)

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

Stand Alone

Verification, model checking, and abstract interpretation