Marieke Huisman
Marieke Huisman (born 3 May 1973, Utrecht, Netherlands) is a Dutch Computer Scientist and a professor of ''Software Reliability'' at the University of Twente, where she leads the ''Formal Methods and Tools'' Group. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Marieke Huisman', query time: 0.02s
Refine Results
-
1
An Abstraction Technique for Verifying Shared-Memory Concurrency by Wytse Oortwijn, Dilian Gurov, Marieke Huisman
Published 2020-06-01
Article -
2
Permission-Based Separation Logic for Multithreaded Java Programs by Christian Haack, Marieke Huisman, Clément Hurlin, Afshin Amighi
Published 2015-02-01
Article