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
|
publication_title
|
"Abstract State Machines, Alloy, B, TLA, VDM, and Z"
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z
|
2022-12-23 08:53
|
2022-12-23 08:53
|