Generating JML Specifications from Alloy Expressions

@inproceedings{GrunwaldGLTT14,
  author    = {Daniel Grunwald and
               Christoph Gladisch and
               Tianhai Liu and
               Mana Taghdiri and
               Shmuel Tyszberowicz},
  editor    = {Eran Yahav},
  title     = {Generating {JML} Specifications from Alloy Expressions},
  booktitle = {10th International Haifa Verification Conference on
	       Hardware and Software: Verification and Testing ({HVC} 2014)},
  series    = {Lecture Notes in Computer Science},
  volume    = {8855},
  pages     = {99--115},
  publisher = {Springer},
  year      = {2014},
  month     = nov,
  doi       = {10.1007/978-3-319-13338-6_9}
}