Concepedia
Journal of Object-oriented Programming · 1998 · 12 citations · 0 references
ComputingComputer EngineeringComputer ScienceFormal MethodsProgramming LanguagesAssertion-based VerificationData-flow AnalysisType CheckingType SystemsAssertion CheckingAssertionsException Handling