Issue 4/2004
Content (6 Articles)
Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language
A. S. Kossatchev, P. Kutter, M. A. Posypkin
A. S. Kossatchev, P. Kutter, M. A. Posypkin