About synchronous programming and abstract interpretation
From MaRDI portal
Publication:1818311
DOI10.1016/S0167-6423(96)00041-XzbMath0941.68008MaRDI QIDQ1818311
Publication date: 4 January 2000
Published in: Science of Computer Programming (Search for Journal in Brave)
68N01: General topics in the theory of software
Related Items
Uses Software