EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Supervisor: Huisman, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2015

Zaharieva-Stojanovski, M. (2015) Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs. PhD thesis, University of Twente. CTIT Ph.D. Thesis Series No. 15-375 ISBN 978-90-365-3924-1

This list was generated on Mon May 29 07:53:51 CEST 2017.