Skip to content
cs-conference-ranking.org

Symbolic Execution of the Gist Specification Language.

Donald Cohen

VenueA*IJCAI
Year1983
ProceedingsIJCAI
DBLP recordconf/ijcai/Cohen83 ↗

Browse the full IJCAI paper archive.