Tests and Proofs: Preface of the Special Issue
Artikel i vetenskaplig tidskrift, 2010

Författare

Bernhard Beckert

Reiner Hähnle

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Journal of Automated Reasoning

0168-7433 (ISSN) 1573-0670 (eISSN)

Vol. 45 4 327-329

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)