Proc. 5th Int. Workshop on Designing Correct Circuits, a satellite event of ETAPS 2004
Samlingsverk (redaktörskap), 2004

Redaktör

Mary Sheeran

Chalmers, Institutionen för datavetenskap, Formella metoder

T. Melham

Ämneskategorier

Data- och informationsvetenskap