M. Saqib Nawaz, Meng Sun 0002. A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS. In Proceedings of the 2018 2nd International Conference on Big Data and Internet of Things, BDIOT 2018, Beijing, China, October 24-26, 2018. pages 186-190, ACM, 2018. [doi]
Abstract is missing.