Compositional Predicate Abstraction from Game Semantics

From MaRDI portal
Publication:3617753