ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages

From MaRDI portal
Publication:2945650