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_type
|
Paid
|
-Empty-
|
2023-10-05 20:01
|
2023-10-05 20:01
|
2 |
New Title 'Abstract State Machines, Alloy, B, TLA, VDM, and Z'
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z
|
Successful
|
New Title
|
-Empty-
|
-Empty-
|
-Empty-
|
2023-09-12 20:02
|
2023-09-12 20:02
|