On Symbolic Verification of Weakly Extended PAD

From MaRDI portal
Publication:2866343

DOI10.1016/j.entcs.2006.10.053zbMath1277.68133OpenAlexW4301138892MaRDI QIDQ2866343

Tayssir Touili, Ahmed Bouajjani, Jan Strejček

Publication date: 13 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.053






Cites Work




This page was built for publication: On Symbolic Verification of Weakly Extended PAD