Sign in

A Declarative Language Approach to Device Configuration.

Adrian SchüpbachAndrew BaumannTimothy RoscoeSimon Peter
Published in: ACM Trans. Comput. Syst. (2012)
Keyphrases