EEMCS

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

EEMCS EPrints Service


Editor: Pearce, D.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2014

Zaharieva-Stojanovski, M. and Huisman, M. and Blom, S.C.C. (2014) Verifying Functional Behaviour of Concurrent Programs. In: FTfJP'14: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 28 Jul 2014, Uppsala, Sweden. 4:1-4:6. ACM. ISBN 978-1-4503-2866-1

This list was generated on Mon Mar 27 06:21:23 CEST 2017.