- Date Created
- 2024-07-09 20:02:52
- Last Updated
- 2024-07-09 20:02:52
- UUID
- 09cc701d-adbd-40cc-8b22-974e9e923630
Title Update Infos: NASA Formal Methods
- Package Update Info
- Springer Nature - Springer Lecture Notes in Computer Science eBooks
- Title
- NASA Formal Methods
- Description
- Changes in Title 'NASA Formal Methods'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2024-07-09
- End Time
- 2024-07-09
- KBART Field
- access_type
- Old Value
- Empty
- New value
- Paid