- Date Created
- 2023-09-12 09:48:43
- Last Updated
- 2023-09-12 09:48:43
- UUID
- 45dd0fb2-f9be-441e-a5ef-2db51dce6387
Title Update Infos: "Verification, Model Checking, and Abstract Interpretation"
- Package Update Info
- Springer Nature - Springer Lecture Notes in Computer Science eBooks
- Description
- New Title '"Verification, Model Checking, and Abstract Interpretation"'
- Status
- Successful
- Type
- New Title
- Start Time
- 2023-09-12
- End Time
- 2023-09-12
- KBART Field
- Empty
- Old Value
- Empty
- New value
- Empty