Chalk: a language and tool for architecture design and analysis
Konferensbidrag (offentliggjort, men ej förlagsutgivet), 2010

Författare

Wouter Swierstra

Koen Lindström Claessen

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Carl Seger

Mary Sheeran

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Emily Shriver

Workshop on Designing Correct Circuits, associated with ETAPS

Ämneskategorier

Datavetenskap (datalogi)