Login / Signup

Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience.

Tobias RungeTabea BordisThomas ThümIna Schaefer
Published in: FMTea (2021)
Keyphrases