ITU
Daniel  Zimmerman

Daniel Zimmerman

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

  1. 2012
  2. Published

    Testing Library Specifications by Verifying Conformance Tests

    Kiniry, J. R., Zimmerman, D. & Hyland, R., 2012, TAP'12 Proceedings of the 6th international conference on Tests and Proofs. Springer, Vol. 7305. (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Toward Instant Gradeification

    Zimmerman, D., Kiniry, J. R. & Fairmichael, F., 2012. 5 p.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

  4. 2011
  5. Published

    Verified Gaming

    Kiniry, J. R. & Zimmerman, D., 2011, GAS 11. Proceedings of the 1st International Workshop on Games and Software Engineering.. Association for Computing Machinery, p. 17-20

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

ID: 30773906