Tools and Methods for Program Analysis
by Vladimir Itsykson, Andre Scedrov, Viktor Zakharov
Computer software, testingComputer software, verification
Writing a summary for young readers…
For young readers
Book data: Open Library
by Vladimir Itsykson, Andre Scedrov, Viktor Zakharov
Book data: Open Library