Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/iticse/Gegg-HarrisonBGOW03a
@inproceedings{DBLP:conf/iticse/Gegg-HarrisonBGOW03a, author = {Timothy S. Gegg{-}Harrison and Gary R. Bunce and Rebecca D. Ganetzky and Christina M. Olson and Joshua D. Wilson}, editor = {Vassilios Dagdilelis and Maya Satratzemi and David Finkel and Roger D. Boyle and Georgios Evangelidis}, title = {Studying program correctness in ProVIDE}, booktitle = {Proceedings of the 8th Annual {SIGCSE} Conference on Innovation and Technology in Computer Science Education, ITiCSE 2003, Thessaloniki, Greece, June 30 - July 2, 2003}, pages = {262}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/961511.961624}, doi = {10.1145/961511.961624}, timestamp = {Thu, 14 Oct 2021 10:06:27 +0200}, biburl = {https://dblp.org/rec/conf/iticse/Gegg-HarrisonBGOW03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.