jStar: towards practical verification for java

Dino Distefano and Matthew J. Parkinson

Details

Publication typeInproceedings
Published inOOPSLA
Pages213-226
PublisherAssociation for Computing Machinery, Inc.
> Publications > jStar: towards practical verification for java