Testing Implementations of Formally Verified Algorithms
Paper in proceeding, 2005
Author
Thomas Arts
Chalmers, Applied Information Technology (Chalmers)
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
John Hughes
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Hans Svensson
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Proceedings of the 5th Conference on Software Engineering Research and Practice in Sweden
Subject Categories
Software Engineering