- Date Created
- Last Updated
- UUID
- 2647418a-564b-4cd2-a41f-297bbb013c5f
Title Update Infos: "Leveraging Applications of Formal Methods, Verification and Validation"
- Package Update Info
- Springer Nature - Springer Lecture Notes in Computer Science eBooks
- Description
- Delete Title '"Leveraging Applications of Formal Methods, Verification and Validation"' because is not in KBART!
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2024-05-09
- End Time
- 2024-05-09
- KBART Field
- status
- Old Value
- Deleted
- New value
- Deleted