Events

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)

Tokyo 13.-17.2.2017

Selected publications

2017DIAS Ricardo J., FERREIRA Carla, FIEDOR Jan, LOURENCO Joao, SMRČKA Aleš, SOUSA Diogo J. and VOJNAR Tomáš. Verifying Concurrent Programs Using Contracts. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). Tokyo: Institute of Electrical and Electronics Engineers, 2017, pp. 196-206. ISBN 978-1-5090-6032-0.

Your IPv4 address: 35.173.234.237
Switch to https