CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Chalk: a language and tool for architecture design and analysis

Wouter Swierstra ; Koen Claessen (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Carl Seger ; Mary Sheeran (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Emily Shriver
Workshop on Designing Correct Circuits, associated with ETAPS (2010)
[Konferensbidrag, övrigt]


Denna post skapades 2010-01-29.
CPL Pubid: 111160

 

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)

Ämnesområden

Datavetenskap (datalogi)

Chalmers infrastruktur