Author: Byron Cook

Publication Overview

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
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

Join 326,062+ designers who get one powerful email each week. Learn to design a life you love.

Next email in
0
days
21
hrs
48
mins
53
secs

Free forever. No spam. Unsubscribe anytime.