Logic Programming for Software Verification and Testing

Sanjeev Khanna. Logic Programming for Software Verification and Testing. Comput. J., 34(4):350-357, 1991.

Possibly Related Publications

The following publications are possibly variants of this publication: