Publication | Closed Access

Reasoning about metamodeling with formal specifications and automatic proofs

Formal SpecificationEngineeringFormal ModelingAutomated ReasoningAutomatic ProofsVerificationFormal MethodsFormal TechniqueComputer ScienceFormal Verification