Chalk: a language and tool for architecture design and analysis
Övrigt konferensbidrag, 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)