Concepedia
1993 · 172 citations · 0 references
ComputingComputer ScienceFormal MethodsSpecification DevelopmentSpecification LanguagesBinder SelectionBinder SystemsBinders