Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. Complementarities Among the Technologies Presented in the Book. In Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina, editors, Validation of Evolving Software. pages 19-21, Springer, 2015. [doi]
Abstract is missing.