Conference item icon

Conference item

SAW: the spatial assertion workbench

Actions


Authors


Publisher:
Birmingham
Host title:
Proceedings of the 2nd Workshop on Automated Verification of Critical Systems
UUID:
uuid:3bde1c11-4ee5-4c7b-becc-a827527f3fa7
Local pid:
cs:4963
Deposit date:
2015-03-31

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