Search Results for Willemse, Tim. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dWillemse$00252C$002bTim.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-10-30T07:27:01Z Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521275 2024-10-30T07:27:01Z 2024-10-30T07:27:01Z Author&#160;Ferreira, Carla. editor.&#160;Willemse, Tim A. C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521275.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484028 2024-10-30T07:27:01Z 2024-10-30T07:27:01Z Author&#160;Larsen, Kim Guldstrand. editor.&#160;Willemse, Tim. editor. (orcid)0000-0003-3049-7962&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>