Cite
APA Citation
Bonfanti, S., Gargantini, A., & Mashkoor, A. (2020). design and validation of a C++ code generator from Abstract State Machines specifications. Journal of software, 32(2), n/a. http://access.bl.uk/ark:/81055/vdc_100099921821.0x000004