Vincenzo Gervasi, Roozbeh Farahbod. JASMine: Accessing Java Code from CoreASM. In Jean-Raymond Abrial, Uwe Glässer, editors, Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Volume 5115 of Lecture Notes in Computer Science, pages 170-186, Springer, 2009. [doi]
@inproceedings{GervasiF09,
title = {JASMine: Accessing Java Code from CoreASM},
author = {Vincenzo Gervasi and Roozbeh Farahbod},
year = {2009},
doi = {10.1007/978-3-642-11447-2_11},
url = {http://dx.doi.org/10.1007/978-3-642-11447-2_11},
tags = {Java},
researchr = {https://researchr.org/publication/GervasiF09},
cites = {0},
citedby = {0},
pages = {170-186},
booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday},
editor = {Jean-Raymond Abrial and Uwe Glässer},
volume = {5115},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-11446-5},
}