Author:
Cavada Roberto,Cimatti Alessandro,Micheli Andrea,Roveri Marco,Susi Angelo,Tonetta Stefano
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SymboleoPC: checking properties of legal contracts;Software and Systems Modeling;2024-07-03
2. Model-checking legal contracts with SymboleoPC;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23
3. A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System;Lecture Notes in Computer Science;2020