Cecil: A sequencing constraint language for automatic static analysis gereration (1990)

by K M OLENDER, L J OSTERWEIL
Venue:IEEE Trans. Softw. Engin