Benjamin Khoo
List of publications from the
DBLP Bibliography Server
-
FAQ
Ask others: ACM
DL
/
Guide
-
-
CSB
-
MetaPress
-
Google
-
Bing
-
Yahoo
2004
1
David J. A. Cooper
, Benjamin Khoo,
Brian R. von Konsky
,
Mike Robey
: Java Implementation Verification Using Reverse Engineering.
ACSC 2004
: 203-211
Coauthor Index
1
David J. A. Cooper
[
1
]
2
Brian R. von Konsky
[
1
]
3
Mike Robey
(Michael C. Robey)
[
1
]
Copyright ©
Fri Dec 11 16:01:56 2009 by
Michael Ley
(
ley@uni-trier.de
)