Test and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 2008, Proceedings
Samlingsverk (redaktörskap), 2008

Redaktör

Reiner Hähnle

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Chalmers, Data- och informationsteknik

Bernhard Beckert

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

ISBN

354079123X