Publication | Closed Access
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)
423
Citations
0
References
1986
Year
Logical AutomatonEngineeringProgram CheckingProgram AnalysisAutomated ReasoningVerificationFormal MethodsSoftware AnalysisAutomatic Program VerificationAutomaton OperationComputer ScienceFormal Verification
No additional data available for this publication yet. Check back later!