D. M. Baughman
- Publication period start
- Publication period end
- Number of co-authors
Number of publications with favourite co-authors
Most productive colleagues in number of publications
A Methodology to Incorporate Formal Methods in Hybrid KBS Verification.
International Journal of Human-Computer Studies,