Brad Elmore

Publication Activity (10 Years)

Years Active: 1991-1991
Publications (10 Years): 0

Publications

Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer
VERT-verification of real-time programs. COMPSAC (1991)