Conference item icon

Conference item

jStar−eclipse: an IDE for automated verification of Java programs

Actions


Authors


Daiva Naudziuniene More by this author
Matko Botincan More by this author
Dino Distefano More by this author
Mike Dodds More by this author
Radu Grigore More by this author
Expand authors...
Publisher:
ACM
Publication date:
2011
URN:
uuid:7fcea032-e24c-4a22-9a5e-d27e0e08a5be
Local pid:
cs:6952
ISBN:
978-1-4503-0443-6

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