Functional Hardware Description in Lava
Book chapter, 2003

Author

Koen Lindström Claessen

Chalmers, Department of Computing Science

Mary Sheeran

Chalmers, Department of Computing Science, Formal Methods

Satnam Singh

The fun of programming - edited by Jeremy Gibbons and Oege de Moor

Subject Categories

Computer and Information Science

ISBN

1-4039-0772-2

More information

Latest update

12/13/2018