Publisher
Springer International Publishing
Reference20 articles.
1. Aitken, D.: Introducing verified react (2019). https://medium.com/imandra/introducing-verified-react-9c2ef03f821b
2. Lecture Notes in Computer Science;B Archibald,2020
3. Barboni, E., et al.: Bridging the gap between a behavioural formal description technique and a user interface description language: enhancing ICO with a graphical user interface markup language. In: Science of Computer Programming, vol. 86, pp. 3–29 (2014). https://doi.org/10.1016/j.scico.2013.04.001. ISSN 01676423. https://linkinghub.elsevier.com/retrieve/pii/S0167642313000993. Accessed 17 June 2022
4. Béger, P.: Vérification formelle des propriétés graphiques des systémes informatiques interactifs, p. 195
5. Chappell, G., Hildebrandt, N.: Using FXML to create a user interface. English (2013). https://docs.oracle.com/javafx/2/get_started/fxml_tutorial.htm
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献