Stump, Timothy E.
6  results:
Search for persons X
?
1

Software architecture of universal hardware modeler:

, In: Proceedings of the conference on European design automation,
Kelly, Norman F. ; Stump, Holly E. - p. 573-577 , 1990
 
?
2

CONTRIBUTORS:

, In: Comprehensive Hypertension,
Ahooja, Vineeta ; Ajay, Vamadevan S. ; Amar, Laurence... - p. xiii-xxi , 2007
 
?
 
?
4

Verified programming in Guru:

, In: Proceedings of the 3rd workshop on Programming languages meets program verification,
Stump, Aaron ; Deters, Morgan ; Petcher, Adam.. - p. 49-58 , 2009
 
?
 
?
6

List of Contributors:

, In: A Comprehensive Guide to Toxicology in Nonclinical Drug Development,
Abdi, M.M. ; Al-Humadi, N.H. ; Amuzie, C.J.... - p. xi-xii , 2017
 
1-6