Checking Java Programs via Guarded Commands - Concepedia

Concepedia

Publication | Closed Access

Checking Java Programs via Guarded Commands

90

Citations

3

References

1999

Year

K. Rustan M. Leino, James B. Saxe, Raymie Stata

Unknown Venue

Java ProgramsProgram CheckingEngineeringRuntime VerificationProgram AnalysisVerificationFormal MethodsSoftware AnalysisStatic CheckingComputer ScienceFormal VerificationData Security

References

	Year	Citations

Page 1