Integrating formal methods into medical software development: The ASM approach

Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo; Mashkoor, Atif; Riccobene, Elvinia

doi:10.1016/j.scico.2017.07.003

by Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene

Reference:

Integrating formal methods into medical software development: The ASM approach (Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene), In Sci. Comput. Program., volume 158, 2018.

Bibtex Entry:

@Article{DBLP:journals/scp/ArcainiBGMR18,
  author    = {Paolo Arcaini and Silvia Bonfanti and Angelo Gargantini and Atif Mashkoor and Elvinia Riccobene},
  journal   = {Sci. Comput. Program.},
  title     = {Integrating formal methods into medical software development: The {ASM} approach},
  year      = {2018},
  pages     = {148-167},
  volume    = {158},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/bib/journals/scp/ArcainiBGMR18},
  doi       = {10.1016/j.scico.2017.07.003},
  file      = {:Journals\\SCP 2018 - Integrating Formal Methods into Medical Software Development the ASM Approach\\Integrating Formal Methods into Medical Software Development the ASM Approach-preprint.pdf:PDF},
  keywords  = {SCCH},
  timestamp = {Fri, 30 Nov 2018 13:22:00 +0100},
  url       = {https://doi.org/10.1016/j.scico.2017.07.003},
}