Geoffrey Weyer

Publication Activity (10 Years)

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

Publications

Geoffrey Weyer, William H. Winsborough
Annotated Structure Shape Graphs for Abstract Analysis of Prolog. PLILP (1996)