Ausgabe 6/2003
Inhalt (7 Artikel)
The UniTesK Approach to Designing Test Suites
V. V. Kuliamin, A. K. Petrenko, A. S. Kossatchev, I. B. Burdonov
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language
V. A. Nepomniaschy, I. S. Anureev, A. V. Promskii