DMCA
Systematic design of program analysis frameworks (1979)
by
Patrick Cousot
,
Radhia Cousot
Venue: | In 6th POPL |
Citations: | 764 - 50 self |