specifications for robustness.

Julian Mackay Susan Eisenbach James Noble Sophia Drossopoulou

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

high level
computational efficiency
multi agent systems
delay insensitive
information retrieval
information systems
image processing
website
database systems
software engineering
formal specification