Markus Wagner. Speeding up the Proof Strategy in Formal Software Verification. In Tobias Friedrich, Frank Neumann, Andrew M. Sutton, editors, Genetic and Evolutionary Computation Conference, GECCO 2016, Denver, CO, USA, July 20-24, 2016, Companion Material Proceedings. pages 1137-1138, ACM, 2016. [doi]
Abstract is missing.