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

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

Publication has no abstract