Login / Signup

Computer-assisted specification of asynchronous interfaces with non-deterministic behavior.

Nicholas V. Lewchenko
Published in: SPLASH (Companion Volume) (2017)
Keyphrases