![](/img/cover-not-exists.png)
[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Verifying Concurrent Programs Using Contracts
Dias, Ricardo J., Ferreira, Carla, Fiedor, Jan, Lourenco, Joao M., Smrcka, Ales, Sousa, Diogo G., Vojnar, TomasYear:
2017
Language:
english
DOI:
10.1109/ICST.2017.25
File:
PDF, 238 KB
english, 2017