TMPA-2017 Proceedings Published by Springer

Springer has published the TMPA-2017 proceedings in its Computer and Information Science edition. The international Tools and Methods of Program Analysis (TMPA) conference is an annual event organized by Exactpro in Russia.