Search Results for Huisman, Marieke. - Narrowed by: 2023 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dHuisman$00252C$002bMarieke.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026te$003dILS$0026ps$003d300? 2024-11-15T18:22:31Z Concise Guide to Software Verification From Model Checking to Annotation Checking ent://SD_ILS/0/SD_ILS:520525 2024-11-15T18:22:31Z 2024-11-15T18:22:31Z Author&#160;Huisman, Marieke. author.&#160;Wijs, Anton. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520525.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-30167-4">https://doi.org/10.1007/978-3-031-30167-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520993 2024-11-15T18:22:31Z 2024-11-15T18:22:31Z Author&#160;Huisman, Marieke. editor.&#160;Ravara, Ant&oacute;nio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520993.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-35355-0">https://doi.org/10.1007/978-3-031-35355-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>