Author: J. C. Campos

Publications

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

Co-authors

Number of publications with favourite co-authors
Michael D. Harrison
1

Productive Colleagues

Most productive colleagues in number of publications
Michael D. Harrison
50

Publications

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