Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Language support for verifying reconfigurable interacting systems;International Journal on Software Tools for Technology Transfer;2023-11-02
2. A distributed API for coordinating AbC programs;International Journal on Software Tools for Technology Transfer;2020-02-28