coreStar: the Core of jStar
Matko Botinčan‚ Dino Distefano‚ Mike Dodds‚ Radu Grigore‚ Daiva ̄unieṅeNaudži and Matthew J. Parkinson
Book Title
BOOGIE 2011
Editor
K. Rustan M. Leino and Michał Moskal
Pages
65–77
Year
2011
Matko Botinčan‚ Dino Distefano‚ Mike Dodds‚ Radu Grigore‚ Daiva ̄unieṅeNaudži and Matthew J. Parkinson