Concepedia
Microprocessors and Microsystems · 1987 · 134 citations · 0 references
Computer ProgramsSpecification LanguageEngineeringProgram AnalysisSystem SpecificationFormal MethodsSoftware EngineeringComputer ScienceSoftware AnalysisSystem SoftwareSoftware DesignFormal VerificationProgramming Language Design