- Date Created
- 2023-04-24 11:38:09
- Last Updated
- 2023-04-24 11:38:09
- UUID
- 749e6dd7-0e66-4609-9f6e-05809a26e12f
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-04-24
- End Time
- 2023-04-24
- KBART Field
- access_start_date
- Old Value
- 2022-03-01
- New value
- 2022-02-28