„Post-hoc Verification“

Suchergebnisse

1 Treffer

• Flexible Correct-by-Construction Programming
  Runge, Tobias ; Bordis, Tabea ; Potanin, Alex ; Thüm, Thomas ; Schaefer, Ina 2023 Universität Ulm