Skip to content

The Layered Architecture of a System for Reasoning about Programs.

Charles Rich

VenueA*IJCAI
Year1985
ProceedingsIJCAI

Browse the full IJCAI paper archive.