Static Analysis of IMC

Autor: Skrypnyuk, Nataliya, Nielson, Flemming, Pilegaard, Henrik
Zdroj: In Journal of Logic and Algebraic Programming May 2012 81(4):522-540
Databáze: ScienceDirect