Concepedia

B.A. Gennart

BG

Statistics

Publications

1

Citations

13

H-Index

1

Active since

2003

Affiliations

Stanford University(Current)

B.A. Gennart is an author at Stanford University specializing in specification languages for hardware, deductive verification, and computer architecture.

Publications per year

2003–2003

1

Publications

1