Tim Lewis, Russell J. Haines. Formal verification to enhance evolution of protocols. In Franz Rothlauf, editor, Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009. pages 1889-1890, ACM, 2009. [doi]
Abstract is missing.