Showing results 1 to 3 of 3

# Description Title Status Type KBART Field New Value Old Value Start Time End Time
1 Changes in Title '"Abstract State Machines, Alloy, B, TLA, VDM, and Z"' "Abstract State Machines, Alloy, B, TLA, VDM, and Z" Successful Changed Title access_start_date 2018-05-14 -Empty- 2022-12-23 09:03 2022-12-23 09:03
2 Changes in Title 'Abstract State Machines, Alloy, B, TLA, VDM, and Z' "Abstract State Machines, Alloy, B, TLA, VDM, and Z" Successful Changed Title publication_title "Abstract State Machines, Alloy, B, TLA, VDM, and Z" Abstract State Machines, Alloy, B, TLA, VDM, and Z 2022-12-23 09:03 2022-12-23 09:03
3 Changes in Title '"Abstract State Machines, Alloy, B, TLA, VDM, and Z"' "Abstract State Machines, Alloy, B, TLA, VDM, and Z" Successful Changed Title subject_area Computer Science -Empty- 2022-12-23 09:03 2022-12-23 09:03