Bojan Nokovic, Salah Sharieh. Case Study: Qualitative and Quantitative Verification of File Ingestion Process. In Proceedings of the 2019 8th International Conference on Software and Information Engineering, ICSIE 2019, Cairo, Egypt, April 09-12, 2019. pages 51-54, ACM, 2019. [doi]
Abstract is missing.