Author:
Börger Egon,Fruja Nicu G.,Gervasi Vincenzo,Stärk Robert F.
Subject
General Computer Science,Theoretical Computer Science
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Interactive Approach to Learning of Sorting Algorithms;International Journal of Online and Biomedical Engineering (iJOE);2019-05-14
2. Semantics-driven extraction of timed automata from Java programs;Empirical Software Engineering;2019-03-22
3. Why Programming Must Be Supported by Modeling and How;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018
4. Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV -- Modelling;2015 IEEE Trustcom/BigDataSE/ISPA;2015-08
5. K-Java;ACM SIGPLAN Notices;2015-05-11