"Formal Verification through Combinatorial Topology: the CAS-Extended Model."

Christina L. Peterson, Damian Dechev (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics