Counterexample-Driven Synthesis for Probabilistic Program Sketches

Cham / Springer (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

Formal methods - the next 30 years : third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings / Maurice H. ter Beek, Annabelle McIver, Jose N. Oliveira (eds.)
Seite(n): 101-120

Autorinnen und Autoren

Autorinnen und Autoren

Češka, Milan
Hensel, Christian
Junges, Sebastian
Katoen, Joost-Pieter

Identifikationsnummern