We stand with Ukraine  

Gary R. Bunce

According to our database1, Gary R. Bunce authored at least 2 papers in 2003.

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2003
Studying program correctness in ProVIDE.
[BibTeX]
[DOI]
Timothy S. Gegg-Harrison
,
Gary R. Bunce
,
Rebecca D. Ganetzky
,
Christina M. Olson
,
Joshua D. Wilson
Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003

Studying program correctness by constructing contracts.
[BibTeX]
[DOI]
Timothy S. Gegg-Harrison
,
Gary R. Bunce
,
Rebecca D. Ganetzky
,
Christina M. Olson
,
Joshua D. Wilson
Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003


  Loading...