Vol-3874⫷ Vol-3875 ⫸Vol-3876
urn:nbn:de:0074-3875-0


Vol-3875/ARQNL2024_preface⫷Vol-3875/ARQNL2024_abstract1⫸Vol-3875/ARQNL2024_abstract2
Didier Galmiche

Separation Logics: Semantics and Proofs (invited talk abstract)