The Symbolic Execution of Software

Type: Physical Book

Language: English

Pages: 182

Release Date: 1995-01-01

Country: United States of America