ISSE

Search

Correctness of Full First-Order Specifications

W. Reif

Correctness of Full First-Order Specifications

published 1992 in: Capri, Italy 4th Conference on Software Engineering and Knowledge Engineering. Proceedings

Publisher: IEEE press