D Schmidt, B Steffen - Lecture Notes in Computer Science (см. в книгах), 1998 - elibrary.ru
This paper presents a collection of techniques, a methodology, in which abstract
interpretation, flow analysis, and model checking are employed in the representation …