Publication | Closed Access
Computer Logic, Testing and Verification.
69
Citations
0
References
1983
Year
Computer LogicEngineeringAutomated ReasoningMechanical VerificationSoftware TestingVerificationFormal MethodsComputer-aided VerificationComputer ScienceFormal VerificationSoftware Verification
No additional data available for this publication yet. Check back later!