No description available of Bogomir Horvat...
Brezocnik, Zmago and Horvat, Bogomir (1988): Automatic Formal Verification of Digital Systems Using Prolog. In ACM SIGCHI Bulletin, 19 (4) pp. 13-1414
Spare 2 minutes and help us!
Examples:
» Link to us
» Contribute to the calendar
» Write an encyclopedia entry
» Write a misDesign
» Become an editor
» Join the Advisory Board