?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
11
Small Step Incremental Verification of Compilers:
, In:
?
2023 IEEE International Conference on Service-Oriented System Engineering (SOSE) ,
13