Author:
Fiedor Jan,Letko Zdeněk,Lourenço João,Vojnar Tomáš
Publisher
Springer International Publishing
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Discovering Concurrency Errors;Lectures on Runtime Verification;2018
2. Verifying Concurrent Programs Using Contracts;2017 IEEE International Conference on Software Testing, Verification and Validation (ICST);2017-03
3. A Certified Decision Procedure for Tree Shares;Formal Methods and Software Engineering;2017