Author:
Feller David,Kamareddine Fairouz,Burski Lavinia
Reference19 articles.
1. Frentiu, M., Correctness, a very important quality factor in programming. Stud. Univ. Babes-Bolyai Ser. Inf. L(1), 11–20 (2005)
2. MacKenzie, D.: Computer-related accidental death: an empirical exploration. Sci. Public Policy 21(5), 233–248 (1994)
3. Dijkstra, E.W.: Notes on Structured Programming. Technological University Eindhoven, Department of Mathematics (1970)
4. DeMillo, R.A., Lipton, R.J., Perlis, A.J.: Social processes and proofs of theorems and programs. Commun. ACM 22(5), 271–280 (1979)
5. Li, Y., Pan, X., Hu, T., Sung, S.Y., Yuan, H.: Specifying complex systems in Object-Z: a case study of petrol supply systems. J. Softw. 9(7), 11 (2014)