Identifier: 10.1007/978-1-4842-7978-6

Identifier Namespace
title_id
Identifier
10.1007/978-1-4842-7978-6


Identified Components with same Identifier:

Title Package Namespace
Introducing Software Verification with Dafny Language (Current) Springer Nature English International Enhanced KBART 2016-2023 title_id
Introducing Software Verification with Dafny Language (Current) Springer Nature - Springer Professional and Applied Computing eBooks 2022 English International title_id
Edit (Login required)
Date Created
2023-08-10 17:39:44
Last Updated
2023-08-10 17:39:44
UUID
f42b1dd1-dd92-41c1-8595-ea1b74e3b770


Loading