Antonio Ruiz-Delgado

Publication Activity (10 Years)

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

Publications

Antonio Ruiz-Delgado, David H. Pitt, Colin Smythe
A Review of Object-oriented Approaches in Formal Methods. Comput. J. 38 (10) (1995)