Predicate Transformers for Recursive Pro
β
Wim H. Hesselink
π
Article
π
1999
π
Springer
π
English
β 177 KB