Thomas Illgen. Program Modeling for Fault Definition Based Static Analysis. In László Monostori, József Váncza, Moonis Ali, editors, Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings. Volume 2070 of Lecture Notes in Computer Science, pages 911-918, Springer, 2001. [doi]
Abstract is missing.