Validation of Evolving Software
by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Computer scienceComputer software, validation
Writing a summary for young readers…
For young readers
Book data: Open Library
by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Book data: Open Library