Author:
Steingartner William,Haratim Martin,Dostal Jiri
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interactive Proof Assistant Based on Resolution Method in First Order Logic;2024 IEEE 28th International Conference on Intelligent Engineering Systems (INES);2024-07-17
2. Interactive Web-Based Interpreter of the $\lambda$-Calculus;2023 IEEE 21st Jubilee International Symposium on Intelligent Systems and Informatics (SISY);2023-09-21
3. Visualization of Read-Copy-Update synchronization contexts in C code;Annales Mathematicae et Informaticae;2023
4. Visualization of imperative programs translation with Structural Operational Semantics;2022 IEEE 16th International Scientific Conference on Informatics (Informatics);2022-11-23
5. On some innovations in teaching the formal semantics using software tools;Open Computer Science;2020-12-17