J. C. Campos

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2001
Publication period end
2001
Number of co-authors
1

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Campos, J. C., Harrison, Michael D. (2001): Model checking interactor specifications. In Automated Software Engineering, 8 (3) pp. 275-310.