A domain equation for refinement of partial systems
Mathematical Structures in Computer Science
A calculus of logical relations for over- and underapproximating static analyses
Science of Computer Programming
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
Fundamenta Informaticae
Hi-index | 0.00 |