Stratified Static Analysis Based on Variable Dependencies

From MaRDI portal
Publication:5170182

DOI10.1016/j.entcs.2012.10.008zbMath1294.68063arXiv1109.2405OpenAlexW1986269585WikidataQ113318046 ScholiaQ113318046MaRDI QIDQ5170182

Julien le Guen, David Monniaux

Publication date: 22 July 2014

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

Full work available at URL: https://arxiv.org/abs/1109.2405




Related Items (3)


Uses Software


Cites Work


This page was built for publication: Stratified Static Analysis Based on Variable Dependencies