- Date Created
- 2023-03-21 10:02:28
- Last Updated
- 2023-03-21 10:02:28
- UUID
- c5fccd9b-3089-4296-a434-28c853b6fb69
Title Update Infos: Introducing Software Verification with Dafny Language
- Package Update Info
- Springer Nature - Springer Professional and Applied Computing eBooks 2022 English International
- Description
- Changes in Title 'Introducing Software Verification with Dafny Language'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2023-03-21
- End Time
- 2023-03-21
- KBART Field
- first_author
- Old Value
- "Sitnikovski, Boro"
- New value
- Sitnikovski