Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments
Details
- OL Work ID
- OL19909501W
Subjects
Mathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, InterpretersArtificial intelligenceArtificial Intelligence (incl. Robotics)