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

Christina M. Olson

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]
2Rebecca D. Ganetzky [1] [2]
3Timothy S. Gegg-Harrison [1] [2]
4Joshua D. Wilson [1] [2]

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