Publisher
Springer International Publishing
Reference38 articles.
1. Abrial, J., Hoare, A.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Bagwell, P.: Ideal Hash Trees. Es Grands Champs, 1195 (2001)
3. Lecture Notes in Computer Science;J Bendisposto,2021
4. Bonfanti, S., Gargantini, A., Mashkoor, A.: Design and validation of a C++ code generator from abstract state machines specifications. J. Softw. Evol. Process 32(2), e2205 (2020)
5. Communications in Computer and Information Science;F Boniol,2014
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献