Conference item icon

Conference item

Scalable Shape Analysis for Systems Code

Actions


Authors


Expand authors...
Publisher:
Springer−Verlag
Volume:
5123
Publication date:
2008-07-01
URN:
uuid:83095293-3ace-41af-be2f-4457e181b722
Local pid:
cs:4968
ISBN:
978-3-540-70543-7

Terms of use


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