- Date Created
- 2023-01-16 06:52:45
- Last Updated
- 2023-01-16 06:52:45
- UUID
- 9abf51a3-ad90-4ebc-b39a-db3eee19ce32
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-01-16
- End Time
- 2023-01-16
- KBART Field
- date_monograph_published_online
- Old Value
- Empty
- New value
- 2022