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]
Abstract is missing.