System Validation (4): Modelling Software, Protocols, and other behaviour - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jan Friso Groote. System Validation (4): Modelling Software, Protocols, and other behaviour. 2019.

@misc{Groote2019-2,
  title = {System Validation (4): Modelling Software, Protocols, and other behaviour},
  author = {Jan Friso Groote},
  year = {2019},
  note = {Coursera course. \url{https://www.coursera.org/learn/system-validation-software-protocols}},
  researchr = {https://researchr.org/publication/Groote2019-2},
  cites = {0},
  citedby = {0},
}

runs on WebDSL