System Validation (4): Modelling Software, Protocols, and other behaviour

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

Bibliographies