Logics of dynamical systems (2012)

by André Platzer
Venue:In LICS