Chalk: a language and tool for architecture design and analysis
Other conference contribution, 2010
Author
Wouter Swierstra
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Carl Seger
Mary Sheeran
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Emily Shriver
Workshop on Designing Correct Circuits, associated with ETAPS
Subject Categories
Computer Science