- Date Created
- 2024-06-17 21:58:46
- Last Updated
- 2024-06-17 21:58:46
- UUID
- b3f06898-156b-433a-94a7-a6acb06b2f5c
Title Update Infos: NASA Formal Methods
- Package Update Info
- Springer Nature - Springer Lecture Notes in Computer Science eBooks
- Title
- NASA Formal Methods
- Description
- New Title 'NASA Formal Methods'
- Status
- Successful
- Type
- New Title
- Start Time
- 2024-06-17
- End Time
- 2024-06-17
- KBART Field
- Empty
- Old Value
- Empty
- New value
- Empty