Concepedia
Future Generation Computer Systems · 1988 · 40 citations · 0 references
ComputingComputer EngineeringComputer ScienceAlgorithmsFormal MethodsSoftware EngineeringAssertion-based VerificationAutomated ReasoningDeductive VerificationVerificationAssertion-based DebuggingAssertionsDebugging