- Date Created
- 2023-09-12 09:47:10
- Last Updated
- 2023-09-12 09:47:10
- UUID
- dd978db6-3b93-4672-8541-d594837ac006
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