%0 Report
%A Marthi, Bhaskara
%A Russell, Stuart J.
%A Wolfe, Jason
%T Angelic Semantics for High-Level Actions
%I EECS Department, University of California, Berkeley
%D 2007
%8 July 10
%@ UCB/EECS-2007-89
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-89.html
%F Marthi:EECS-2007-89