Specification-Based Computing Environments.

Robert Balzer, David Dyer, Matthew Morgenstern, Robert Neches

Browse the full AAAI paper archive.