Concepedia
International Test Conference · 1982 · 78 citations · 0 references
ComputingComputer EngineeringComputer ScienceComputer ArchitectureFormal MethodsControl-flow AnalysisData-flow AnalysisConcurrent Program VerificationVerification Of Concurrent Programs