Concepedia
COMPCON · 1985 · 116 citations · 0 references
Dependency AnalysisEngineeringProgram AnalysisAutomated ReasoningFormal MethodsSoftware AnalysisSoftware EngineeringLogic ProgramsParallel ProgrammingComputer ScienceKnowledge CompilationFormal VerificationLogic Programming