Book Chapter10.1007/978-3-540-73368-3_41

Structural Abstraction of Software Verification Conditions

Domagoj Babić,Alan J. Hu-2007-08-29-Lecture notes in computer science

63

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceAbstractionSoftware verificationSoftwareProgramming languageContext (archaeology)Statement (logic)Verification and validation

Chat

Click to start Chat