Information on Cryptol can be found at http://www.cryptol.net. [4 (2000)

by D Dams, R Gerth, O Grumberg
Venue:In Workshop on Advanced Verification