- Date Created
- 2022-12-23 08:53:29
- Last Updated
- 2022-12-23 08:53:29
- UUID
- 20c97660-6f4a-485f-898e-3c2dfe8d6a99
Title Update Infos: "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"
- Package Update Info
- Springer Nature - Springer Computer Science eBooks 2016 English International
- Title
- "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"
- Description
- Changes in Title 'Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques'
- Status
- Successful
- Type
- Changed Title
- Start Time
- 2022-12-23
- End Time
- 2022-12-23
- KBART Field
- publication_title
- Old Value
- Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
- New value
- "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"