Predicate calculus and program semantics
Predicate calculus and program semantics
Specification and transformation of programs: a formal approach to software development
Specification and transformation of programs: a formal approach to software development
Hi-index | 0.00 |