EEMCS

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

EEMCS EPrints Service


Editor: Calinescu, R.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2015

Amighi, A. and Darabi, S. and Blom, S.C.C. and Huisman, M. (2015) Specification and verification of atomic operations in GPGPU programs. In: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015), 7-11 Sep 2015, York, UK. pp. 69-83. Lecture Notes in Computer Science 9276. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-22968-3

This list was generated on Mon Mar 27 00:47:27 CEST 2017.