Claire L. Quigley

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003

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