Incrementally closing octagons

Aziem Chawdhary, Edward Robbins, Andy King. Incrementally closing octagons. Formal Methods in System Design, 54(2):232-277, 2019. [doi]

@article{ChawdharyRK19,
  title = {Incrementally closing octagons},
  author = {Aziem Chawdhary and Edward Robbins and Andy King},
  year = {2019},
  doi = {10.1007/s10703-017-0314-7},
  url = {https://doi.org/10.1007/s10703-017-0314-7},
  researchr = {https://researchr.org/publication/ChawdharyRK19},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {54},
  number = {2},
  pages = {232-277},
}