Author: D. M. Baughman

Publication Overview

Publication period start: 1996
Number of co-authors: 1

Co-Authors

Number of publications with favourite co-authors

R. F. Gamble
1

Productive Colleagues

Most productive colleagues in number of publications

R. F. Gamble
1

Publications

Gamble, R. F., Baughman, D. M. (1996): A Methodology to Incorporate Formal Methods in Hybrid KBS Verification. In International Journal of Human-Computer Studies, 44 (2) pp. 213-244.
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel stuck? Want Freedom?

Get one powerful email each week, like 325,655 others.

Learn to design a life you love.

Next email in:
4
days
6
hrs
10
mins
59
secs