Claire L. Quigley

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

1 Claire L. Quigley: A Programming Logic for Java Bytecode Programs. TPHOLs 2003: 41-54