Publication | Closed Access
Behavioural and abstractor specifications
80
Citations
16
References
1995
Year
Formal SpecificationEngineeringOperational SemanticsAbstractor SpecificationsAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationAbstraction Technique
| Year | Citations | |
|---|---|---|
Page 1
Page 1