Statistical Model Checking Meets Property-Based Testing, ICST 2017

  • Richard Alexander Schumi (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Zeitraum16 Mär 2017
Ereignistitel10th IEEE International Conference on Software Testing, Verification and Validation: ICST 2017
VeranstaltungstypKonferenz
OrtTokyo, Japan