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