Predicate calculus and program semantics
Predicate calculus and program semantics
Predicate-Transformation Semantics with Recursion and Unbounded Choice
Predicate-Transformation Semantics with Recursion and Unbounded Choice
The Science of Programming
A Discipline of Programming
Hi-index | 0.89 |