Author: Byron Cook

Publications

Publication period start: 2008
Number of co-authors: 5

Co-authors

Number of publications with favourite co-authors
Patrick Cousot
1
Jonathan P. Bowen
1
Tiziana Margaria
1

Productive Colleagues

Most productive colleagues in number of publications
Tiziana Margaria
4
Jonathan P. Bowen
8
Michael Jackson
18

Publications

Hinchey, Mike, Jackson, Michael, Cousot, Patrick, Cook, Byron, Bowen, Jonathan P., Margaria, Tiziana (2008): Software engineering and formal methods. In Communications of the ACM, 51 (9) pp. 54-59. https://dl.acm.org/doi/10.1145/1378727.1378742