![](/img/cover-not-exists.png)
[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Foundational certification of data-flow analyses
Frade, Maria Joao, Saabas, Ando, Uustalu, TarmoYear:
2007
Language:
english
DOI:
10.1109/tase.2007.27
File:
PDF, 280 KB
english, 2007