Concepedia
TUGraz OPEN Library (Graz University of Technology) · 2020 · 22 citations · 0 references
Open access
ComputingComputer ScienceComputer SystemsFormal MethodsProgramming LanguagesSoftware EngineeringAbstract Syntax TreesSpecification LanguagesType SystemsCoalgebraic SemanticsCollecting SemanticsSpecification Logic