Formal Methods and Software Engineering

Formal Methods and Software Engineering
Details
- OL Work ID
- OL16945152W
Subjects
Computer networksComputer scienceSoftware engineeringComputer softwareInformatiqueFormal methods (Computer science)CongressesComputer Communication NetworksMathematical Logic and Formal LanguagesAlgorithm Analysis and Problem ComplexityProgramming Languages, Compilers, InterpretersProgramming Techniques