@misc{indiciae308fa92dd401,
  title = {Compiling Statecharts into Why3.},
  author = {Armstrong, Robert C. and Aytac, Jon M and Hulette, Geoffrey Compton and Mayo, Jackson and Morris, Karla Vanessa},
  year = {2017},
  url = {https://www.osti.gov/biblio/1457972},
  note = {Source identifier: 1457972}
}