Concepedia
University of Twente Research Information · 1991 · 11 citations · 0 references
ComputingComputer ScienceFormal MethodsFormal Language FoundationsFormal SemanticsMethod DevelopmentModel CheckingTheorem ProvingFormal Verification