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

Rebecca D. Ganetzky

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

2003
2EETimothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson: Studying program correctness by constructing contracts. ITiCSE 2003: 129-133
1EETimothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson: Studying program correctness in ProVIDE. ITiCSE 2003: 262

Coauthor Index

1Gary R. Bunce [1] [2]
2Timothy S. Gegg-Harrison [1] [2]
3Christina M. Olson [1] [2]
4Joshua D. Wilson [1] [2]

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