dblp.uni-trier.dewww.uni-trier.de

Raymond J. Hookway

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997
4EERaymond J. Hookway, Mark A. Herdeg: DIGITAL FX!32: Combining Emulation and Binary Translation. Digital Technical Journal 9(1): (1997)
1994
3EEGeorge W. Ernst, Raymond J. Hookway, William F. Ogden: Modular Verification of Data Abstractions with Shared Realizations. IEEE Trans. Software Eng. 20(4): 288-307 (1994)
1991
2 George W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden: Modular Verification of Ada Generics. Comput. Lang. 16(3/4): 259-280 (1991)
1976
1 George W. Ernst, Raymond J. Hookway: The Use of Higher Order Logic in Program Verification. IEEE Trans. Computers 25(8): 844-851 (1976)

Coauthor Index

1George W. Ernst [1] [2] [3]
2Mark A. Herdeg [4]
3James A. Menegay [2]
4William F. Ogden [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)