1. PROFESSOR FLORIAN MIRCEA BOIAN AT HIS SIXTIES. Authors: L. ŢÂMBULEA, M. FRENŢIU.2. TEACHING MODEL CHECKING TO UNDERGRADUATES. Authors: M. FRENŢIU.