TMPA (Tools and Methods of Program Analysis) International conference addresses the most pertinent and important area of software engineering - the analysis of software quality

TMPA School is an educational project that aims to encourage the development of the IT industry and the implementation of the cutting-edge research in software verification

TMPA conferences