Testing implementations of formally verified algorithms (2005)

by Thomas Arts, Koen Claessen, John Hughes, Hans Svensson
Venue:In Proceedings of the fifth conference on Software Engineering Research and Practice in Sweden