Evgenia (Eugenia) Ternovska
Associate Professor | School of Computing Science
Simon Fraser University 8888 University Dr., Burnaby, B.C. V5A 1S6
13 Février 2020, 10:30-11:30
ENS, S16
Logic of Information Flows: Expressing Reachability and Cardinality Properties
