Incrementally closing octagons

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.