Card sorting data for Formal methods for GPGPU programming: is the demand met?

  • Lars B. van den Haak (Creator)
  • Anton J. Wijs (Creator)
  • Mark van den Brand (Creator)
  • Marieke Huisman (Creator)

Dataset

Search results

  • 2020

    Formal Methods for GPGPU Programming: Is the Demand Met?

    Haak, L. B. V. D., Wijs, A., Brand, M. V. D. & Huisman, M., 13 Nov 2020, Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Dongol, B. & Troubitsyna, E. (eds.). Cham: Springer, p. 160-177 (Lecture Notes in Computer Science; vol. 12546).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    140 Downloads (Pure)