Ausgabe 5/2012
Inhalt (6 Artikel)
Using linux device drivers for static verification tools benchmarking
M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov, P. E. Shved
Backward compatibility of software interfaces: Steps towards automatic verification
A. Ponomarenko, V. Rubanov