Author:
Naumowicz Adam,Kornilowicz Artur
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Extended Floyd-Hoare Logic over Relational Nominative Data;Information and Communication Technologies in Education, Research, and Industrial Applications;2018
2. The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar;Journal of Automated Reasoning;2017-11-25