Formal Methods for Executable Software Models

Formal Methods for Executable Software Models
Einar Broch Johnsen, Marco Bernardo, Ferruccio Damiani, Ina Schaefer, Reiner Haehnle
Details
- OL Work ID
- OL20770260W
Subjects
Computer software, developmentSystem designSoftware engineeringComputer scienceInformation theoryLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersTheory of Computation