Search Results for Nielson, Flemming. - Narrowed by: Computers.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dNielson$00252C$002bFlemming.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ps$003d300?dt=list2025-03-19T11:33:45ZPrinciples of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4845232025-03-19T11:33:45Z2025-03-19T11:33:45ZAuthor Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17138-4">https://doi.org/10.1007/978-3-030-17138-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods An Appetizerent://SD_ILS/0/SD_ILS:4863582025-03-19T11:33:45Z2025-03-19T11:33:45ZAuthor Nielson, Flemming. author. (orcid)0000-0001-7362-6176 Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05156-3">https://doi.org/10.1007/978-3-030-05156-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>