Publication | Closed Access
Computer logic, testing and verification
82
Citations
0
References
1981
Year
Computer LogicEngineeringAutomated ReasoningMechanical VerificationSoftware TestingVerificationFormal MethodsComputer-aided VerificationComputer ScienceFormal VerificationSoftware Verification
No additional data available for this publication yet. Check back later!