Formal Methods and Software Engineeringde Shengchao QinMateriasComputer networksComputer scienceSoftware engineeringComputer softwareInformatiqueFormal methods (Computer science)CongressesComputer Communication NetworksMathematical Logic and Formal LanguagesAlgorithm Analysis and Problem Complexity
DDependable Software Engineering. Theories, Tools, and ApplicDependable Software Engineering. Theories, Tools, and Applications