Alexandre H. F. Brainer

Publication Activity (10 Years)

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

Publications

Marcilia A. Campos, Augusto C. A. Sampaio, Alexandre H. F. Brainer
Mechanising the theory of intervals using OBJ3. Reliab. Comput. 2 (2) (1996)