Concepedia
1992 · 207 citations · 0 references
ComputingComputer EngineeringComputer ScienceFormal MethodsProgramming LanguagesSpecification DevelopmentSpecification LanguagesType SystemsModel Specification LanguageSpecification LogicSpecification Notation