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