- Date Created
- 2022-08-09 22:15:40
- Last Updated
- 2022-08-09 22:15:40
- UUID
- 0516e184-38dc-4bdb-b501-a304fc4c8e9c
Title Update Infos: Scalable Techniques for Formal Verification
- Package Update Info
- Springer Nature - Springer Engineering eBooks 2010 English International
- Description
- Changes in Title 'Scalable Techniques for Formal Verification'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2022-08-09
- End Time
- 2022-08-09
- KBART Field
- date_monograph_published_online
- Old Value
- Empty
- New value
- 2010