@misc{indiciaeac99fecb315f,
  title = {OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications},
  author = {Nikolaos Triantafyllou and Petros Stefaneas and Panayiotis Frangos},
  year = {2012},
  url = {https://arxiv.org/abs/1205.5106},
  note = {Source identifier: 1205.5106}
}