Login / Signup
Reasoning About Software.
Roger Hale
Published in:
TPHOLs (1991)
Keyphrases
</>
software development
software tools
data sets
artificial intelligence
source code
computer systems
software systems
software package
software application
image sequences
software architecture
spatial reasoning
software quality
analysis tool
software evolution
formal theory