A tutorial on Lava: A hardware description and veri cation system. Available from http://www.cs.chalmers.se/~koen/Lava (2000)

by K Claessen, M Sheeran