Footprints in Local Reasoning
From MaRDI portal
Publication:3636803
DOI10.2168/LMCS-5(2:4)2009zbMath1163.68011MaRDI QIDQ3636803
Mohammad Raza, Philippa Gardner
Publication date: 30 June 2009
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Related Items