Daniela Nardi

Publication Activity (10 Years)

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

Publications

Francesco Costa, Daniela Nardi, Roberto Rinaldi
SDS - A LOTOS-Based Tool for Symbolic Debugging. FORTE (1988)