Conference item icon

Conference item

Scalable Shape Analysis for Systems Code

Actions


Authors


Hongseok Yang More by this author
Oukseh Lee More by this author
Josh Berdine More by this author
Cristiano Calcagno More by this author
Byron Cook More by this author
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



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

TO TOP