Conference item icon

Conference item

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

Actions


Authors


Expand authors...
Publisher:
ACM
Publication date:
2011-01-01
URN:
uuid:7fcea032-e24c-4a22-9a5e-d27e0e08a5be
Local pid:
cs:6952
ISBN:
978-1-4503-0443-6

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