Skip to content
cs-conference-ranking.org

Extending Ina Jo with Temporal Logic.

Jeannette M. Wing, Mark R. Nixon

VenueA*SP
Year1986
ProceedingsS&P
DBLP recordconf/sp/WingN86 ↗

Browse the full SP paper archive.