Publication | Closed Access
Boogie: a modular reusable verifier for object-oriented programs
242
Citations
0
References
2006
Year
Unknown Venue
EngineeringProgram AnalysisObject-oriented ModelingComputer ArchitectureSoftware EngineeringObject-oriented ProgrammingComputer ScienceSoftware AnalysisModular Reusable VerifierSystem SoftwareSoftware DesignObject-oriented Design
No additional data available for this publication yet. Check back later!