111 |
Changes in Title 'Verification, Model Checking, and Abstract Interpretation'
|
"Verification, Model Checking, and Abstract Interpretation"
|
Successful
|
Changed Title
|
publication_title
|
"Verification, Model Checking, and Abstract Interpretation"
|
Verification, Model Checking, and Abstract Interpretation
|
2022-12-23 08:53
|
2022-12-23 08:53
|
112 |
Changes in Title 'Semantics, Logics, and Calculi'
|
"Semantics, Logics, and Calculi"
|
Successful
|
Changed Title
|
publication_title
|
"Semantics, Logics, and Calculi"
|
Semantics, Logics, and Calculi
|
2022-12-23 08:53
|
2022-12-23 08:53
|