Showing results 1 to 6 of 6

# Description Title Status Type KBART Field New Value Old Value Start Time End Time
1 The Date '2/28/2022' could not be parsed. Introducing Software Verification with Dafny Language Failed Changed Title access_start_date 2/28/2022 2022-02-28 2024-02-28 06:01 2024-02-28 06:01
2 Changes in Title 'Introducing Software Verification with Dafny Language' Introducing Software Verification with Dafny Language Successful Changed Title access_start_date 2022-02-28 2022-03-01 2023-04-24 11:38 2023-04-24 11:38
3 Changes in Title 'Introducing Software Verification with Dafny Language' Introducing Software Verification with Dafny Language Successful Changed Title first_author Sitnikovski "Sitnikovski, Boro" 2023-03-21 10:02 2023-03-21 10:02
4 Changes in Title 'Introducing Software Verification with Dafny Language' Introducing Software Verification with Dafny Language Successful Changed Title date_monograph_published_online 2022 -Empty- 2023-01-16 06:52 2023-01-16 06:52
5 Changes in Title 'Introducing Software Verification with Dafny Language' Introducing Software Verification with Dafny Language Successful Changed Title date_monograph_published_print 2022 -Empty- 2023-01-16 06:52 2023-01-16 06:52
6 Changes in Title 'Introducing Software Verification with Dafny Language' Introducing Software Verification with Dafny Language Successful Changed Title first_author "Sitnikovski, Boro" Sitnikovski, Boro 2023-01-16 06:52 2023-01-16 06:52