1 paper
Samuel Mimram, Aly-Bora Ulusoy
In order to gain a better understanding of the state space of programs, with the aim of making their verification more tractable, models based on directed topological spaces have b…