Search research publications and outputs

  1. Conference contribution › Research
  2. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, Integrated Formal Methods: Proceedings of the 15th International Conference. Springer International Publishing, Vol. 11918. p. 379-398 20 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Chapter › Research
  4. Pedagogical Perspectives on the Use of Technology within Medical Curricula: Moving Away from Norm Driven Implementation

    Finn, G. M. & Matthan, J., 28 Mar 2019, Advances in Experimental Medicine and Biology. Switzerland : SPRINGER, Vol. 1120. p. 55-65 11 p. (Advances in experimental medicine and biology).

    Research output: Chapter in Book/Report/Conference proceedingChapter