Conference item icon

Conference item

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

Actions


Authors


URN:
uuid:c81a944b-5bb1-46d6-9f5c-7c583a5ae78d
Local pid:
cs:2144

Metrics


Views and Downloads






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

TO TOP