-
Package Update Info
-
Springer Nature - Springer Computer Science eBooks 2016 English International
-
Title
-
"Abstract State Machines, Alloy, B, TLA, VDM, and Z"
-
Description
-
Changes in Title 'Abstract State Machines, Alloy, B, TLA, VDM, and Z'
-
Status
-
Successful
-
Type
-
Changed Title
-
Start Time
-
2022-12-23
-
End Time
-
2022-12-23
-
KBART Field
-
publication_title
-
Old Value
-
Abstract State Machines, Alloy, B, TLA, VDM, and Z
-
New value
-
"Abstract State Machines, Alloy, B, TLA, VDM, and Z"
- Date Created
-
2022-12-23 08:53:26
- Last Updated
-
2022-12-23 08:53:26
- UUID
-
7db3601a-fa5b-478c-997e-9fc36247b673