Steven D. Johnson

Publication Statistics

Publication period start
2003
Publication period end
2003
Number of co-authors
0

Co-authors

Number of publications with favourite co-authors

Productive Colleagues

Most productive colleagues in number of publications

Publications

Johnson, Steven D. (2003): Formal Methods in Embedded Design. In IEEE Computer, 36 (11) pp. 104-106. http://csdl.computer.org/comp/mags/co/2003/11/ry104abs.htm