- Date Created
- 2023-09-12 20:02:37
- Last Updated
- 2023-09-12 20:02:37
- UUID
- e777fdf8-178b-4ad1-95ca-b0f704d7bd63
Title Update Infos: Computer Aided Verification
- Package Update Info
- Springer Nature - Springer Lecture Notes in Computer Science eBooks
- Description
- Changes in Title 'Computer Aided Verification'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2023-09-12
- End Time
- 2023-09-12
- KBART Field
- access_type
- Old Value
- Empty
- New value
- Free