Publication | Open Access
Reasoning about Abstract State Machines: The WAM Case Study
66
Citations
0
References
2020
Year
Abstract MachineEngineeringAutomated ReasoningVerificationFormal MethodsComputer ScienceFinite-state SystemFormal VerificationComputer-assisted ReasoningAbstract State Machines
No additional data available for this publication yet. Check back later!