E.: A complete guide to the future (0)

by F de Boer, D Clarke, Johnsen
Venue:Programming Languages and Systems, Lecture Notes in Computer Science