Holistic Specifications for Robust Programs.

Sophia Drossopoulou James Noble Julian Mackay Susan Eisenbach

Published in: CoRR (2020)

Keyphrases

artificial intelligence
optical flow
software engineering
finite state machines