Static Region Analysis for Mercury
From MaRDI portal
Publication:3608664
DOI10.1007/978-3-540-74610-2_22zbMATH Open1213.68183OpenAlexW1570130300MaRDI QIDQ3608664FDOQ3608664
Authors: Quan Phan, Gerda Janssens
Publication date: 5 March 2009
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://lirias.kuleuven.be/handle/123456789/146671
Recommendations
Cited In (5)
Uses Software
This page was built for publication: Static Region Analysis for Mercury
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608664)