Publications

Published February 15, 1976

Symbolic execution and program testing

Commun. ACM , 19(7), 385–394

J. King
1 97 98 99 100