Author: Steven D. Johnson
Publication Overview
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