Author:
Albert Elvira,Arenas Puri,Gómez-Zamalloa Miguel,Wong Peter Y. H.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Parallel Cost Analysis;ACM Transactions on Computational Logic;2018-10-31
2. Prototyping Formal System Models with Active Objects;Electronic Proceedings in Theoretical Computer Science;2018-10-04
3. Testing of concurrent and imperative software using CLP;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05
4. SYCO: a systematic testing tool for concurrent objects;Proceedings of the 25th International Conference on Compiler Construction;2016-03-17
5. Towards Incremental Validation of Railway Systems;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016