Author: D. M. Baughman
Publications
Publication period start: 1996
Number of co-authors: 1
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
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.