Volume: Vol-3875 ARQNL 2024 | Year: 2024

Paper: « ARQNL2024_preface | ARQNL2024_abstract1 | ARQNL2024_abstract2 »

Separation Logics: Semantics and Proofs (invited talk abstract)

• Didier Galmiche dblp

1-4 PDF