Concepedia

The formal description technique Estelle

Science of Computer Programming · 1990 · 56 citations · 0 references

Concepts

ComputingComputer ScienceFormal MethodsFormal LanguagesFormal SemanticsSpecification LanguagesFormal SpecificationsSpecification Notation