Patrick Cousot

Personal Homepage
Employer
()
Email

Publication Statistics

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

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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. http://doi.acm.org/10.1145/1378727.1378742