Sergio Antoy
-
Using Term Rewriting to Verify Software
IEEE Transactions on Software Engineering
Checking formal specifications by testing
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods