author : Koen Claessen

Short works

• Functional hardware description in Lava. 2003. (In The Fun of Programming )
• Specification-based testing with QuickCheck. 2003. (In The Fun of Programming )