Author: Bogomir Horvat
Publications
Publication period start: 1988
Number of co-authors: 1
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Brezocnik, Zmago, Horvat, Bogomir (1988): Automatic Formal Verification of Digital Systems Using Prolog. In ACM SIGCHI Bulletin, 19 (4) pp. 13-14.