Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
(2020)
Files
FASE2.pdf
Open Access - Adobe PDF
- 618.79 KB
Details
- Authors
- Affiliations
Citations
Dimovski, A. S., & Legay, A. (2020). Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. Fundamental Approaches to Software Engineering : Lecture Notes in Computer Science, p. 182-202. https://doi.org/10.1007/978-3-030-45234-6_9