Probabilistic metric semantics for a simple language with recursion (1996)

by Marta Kwiatkowska , Gethin Norman
Venue:Proc. Mathematical Foundations of Computer Science (MFCS), volume 1113 of Lecture Notes in Computer Science
Citations:19 - 6 self