Object Certification (Invited Lecture)

Amílcar Sernadas, Cristina Sernadas. Object Certification (Invited Lecture). In DAISD. pages 55-78, 1994.

Abstract

Abstract is missing.