- Date Created
- 2024-02-28 06:01:22
- Last Updated
- 2024-02-28 06:01:22
- UUID
- f36ef5f0-4127-4276-b2ba-87235608846e
Title Update Infos: Introducing Software Verification with Dafny Language
- Package Update Info
- Springer Nature - Springer Professional and Applied Computing eBooks 2022 English International
- Description
- The Date '2/28/2022' could not be parsed.
- Status
- Failed
- Type
- Changed Title
- Start Time
- 2024-02-28
- End Time
- 2024-02-28
- KBART Field
- access_start_date
- Old Value
- 2022-02-28
- New value
- 2/28/2022