Publication | Closed Access
Toward a Formal Theory of Transactions and Transvections
48
Citations
0
References
1965
Year
EngineeringAutomated ReasoningFormal MethodsFormal SystemFormal TheoryFormalizationFormal VerificationProcess Calculus
No additional data available for this publication yet. Check back later!