Chalk: a language and tool for architecture design and analysis
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

More information

Created

10/6/2017