Cesar: A Static Sequencing Constraint Analyzer.
Kurt M. Olender, Leon J. Osterweil
VenueAISSTA
Year1989
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/OlenderO89 ↗
Browse the full ISSTA paper archive.
Kurt M. Olender, Leon J. Osterweil
Browse the full ISSTA paper archive.