Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. Introduction. In Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina, editors, Validation of Evolving Software. pages 3-5, Springer, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.