Login / Signup

Automated Translation of Natural Language Requirements to Runtime Monitors.

Ivan PerezAnastasia MavridouThomas PressburgerAlwyn GoodloeDimitra Giannakopoulou
Published in: TACAS (1) (2022)
Keyphrases