David C. Luckham

No biography available.

Works (4)

Cover of Hardware design and simulation in VAL/VHDL

Hardware design and simulation in VAL/VHDL

Cover of ANNA A Language for Annotating Ada Programs

ANNA A Language for Annotating Ada Programs

Cover of Programming with specifications

Programming with specifications

Cover of Anna: A Language for Annotating Ada Programs

Anna: A Language for Annotating Ada Programs