Hans-Dieter Hiep Onderzoeker Naam Drs. H.A. Hiep Telefoon +31 71 527 4799 E-mail h.a.hiep@liacs.leidenuniv.nl ORCID iD 0000-0001-9677-6644 Nieuws 20 april 2022 Nieuw onderzoeksproject maakt het internet nog beter Onderzoeker Wiskunde en Natuurwetenschappen Leiden Inst of Advanced Computer Science Werkadres Snellius Niels Bohrweg 1 2333 CA Leiden Contact +31 71 527 4799 h.a.hiep@liacs.leidenuniv.nl JavaScript is required to view this content. Boer F.S. de & Hiep H.A. (2021), Completeness and complexity of reasoning about call-by-value in Hoare logic, ACM Transactions on Programming Languages and Systems 43(4): 17. 'refereed' artikel in een tijdschrift Stichting Tegen Hackbare Verkiezingen Secretaris