Concepedia
IEEE Communications Magazine · 1986 · 330 citations · 0 references
Programming Language TheoryEngineeringComputer EngineeringFormal MethodsSoftware AnalysisHardware Description LanguageComputer ScienceAlgorithmic DevelopmentFormal VerificationSystem Software