Conference item icon

Conference item

ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code

Actions


Authors


Jonathan Ostroff More by this author
Chen−wei Wang More by this author
Eric Kerfoot More by this author
Faraz A. Torshizi More by this author
URN:
uuid:c81a944b-5bb1-46d6-9f5c-7c583a5ae78d
Local pid:
cs:2144

Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP