Pages that link to "Item:Q2945650"
From MaRDI portal
The following pages link to ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages (Q2945650):
Displayed 1 item.
The following pages link to ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages (Q2945650):
Displayed 1 item.