Content Cannot be Displayed
Chat content cannot be displayed due to cookie settings. To view the content, modify your cookie settings to allow the following categories: Chat Services.
Cookie SettingsHuisman, M., & Wijs, A. (2023). Concise Guide to Software Verification: From Model Checking to Annotation Checking (First edition.). Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-031-30167-4
Chicago Style CitationHuisman, Marieke, and Anton Wijs. Concise Guide to Software Verification: From Model Checking to Annotation Checking. First edition. Cham, Switzerland: Springer Nature Switzerland AG, 2023. https://doi.org/10.1007/978-3-031-30167-4.
MLA CitationHuisman, Marieke, and Anton Wijs. Concise Guide to Software Verification: From Model Checking to Annotation Checking. First edition. Springer Nature Switzerland AG, 2023. https://doi.org/10.1007/978-3-031-30167-4.
Harvard Style CitationHuisman, M. & Wijs, A. 2023. Concise Guide to Software Verification: From Model Checking to Annotation Checking. First edition. Cham, Switzerland: Springer Nature Switzerland AG.
Content Cannot be Displayed
Chat content cannot be displayed due to cookie settings. To view the content, modify your cookie settings to allow the following categories: Chat Services.
Cookie Settings