Dependable Software Engineering: Theories, Tools, and Applications
- Springer 2016
- Lecture Notes in Computer Science .
9783319476773
Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Simulation and Modeling; Probability and Statistics in Computer Science