David M. Russinoff
发表
David M. Russinoff,
2010,
Design and Verification of Microprocessor Systems for High-Assurance Applications.
David M. Russinoff,
2018
.
David M. Russinoff,
2020,
ACL2.
David M. Russinoff,
1992,
Journal of Automated Reasoning.
David M. Russinoff,
1995,
Formal Methods Syst. Des..
David M. Russinoff,
Arthur D. Flatau,
2000
.
David M. Russinoff,
1994,
Formal Aspects of Computing.
David M. Russinoff,
1989,
Object-Oriented Concepts, Databases, and Applications.
David M. Russinoff,
Sandip Ray,
2009,
ACL 2009.
David M. Russinoff,
2019
.
David M. Russinoff,
1995,
Specification and validation methods.
David M. Russinoff,
2007,
CAV.
David M. Russinoff,
2018,
Formal Verification of Floating-Point Hardware Design.
David M. Russinoff,
1999,
Formal Methods Syst. Des..
David M. Russinoff,
1985,
Journal of Automated Reasoning.
David M. Russinoff,
2013,
IEEE Transactions on Computers.
David M. Russinoff,
2000,
FMCAD.
David M. Russinoff,
2010
.
David M. Russinoff,
John W. O'Leary,
2014,
ACL2.
David M. Russinoff,
2019
.
David M. Russinoff,
1992,
J. Log. Program..
David M. Russinoff,
2019
.
David M. Russinoff,
2017,
ACL2.
David M. Russinoff,
2019
.
David M. Russinoff,
1998,
LMS J. Comput. Math..
David M. Russinoff,
Matt Kaufmann,
R. Sumners,
2005
.
David M. Russinoff,
2018,
Formal Verification of Floating-Point Hardware Design.
Robert W. Sumners,
Matt Kaufmann,
David M. Russinoff,
2002
.
David M. Russinoff,
2018
.
David M. Russinoff,
2018,
Formal Verification of Floating-Point Hardware Design.
David M. Russinoff,
2022,
ACL2.