The Symbolic Execution of Software

The Symbolic Execution of Software

1995 • 182 pages