- Date Created
- 2022-12-23 08:53:30
- Last Updated
- 2022-12-23 08:53:30
- UUID
- 52973749-9f11-451c-b6f5-ccf2091a402a
Title Update Infos: "Verified Software. Theories, Tools, and Experiments"
- Package Update Info
- Springer Nature - Springer Computer Science eBooks 2016 English International
- Description
- Changes in Title 'Verified Software. Theories, Tools, and Experiments'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2022-12-23
- End Time
- 2022-12-23
- KBART Field
- publication_title
- Old Value
- Verified Software. Theories, Tools, and Experiments
- New value
- "Verified Software. Theories, Tools, and Experiments"