@misc{oai:repo.lib.tut.ac.jp:00001425,
 author = {丸山, 真佐夫},
 title = {再演と巻き戻し実行に基づく並列プログラムのデバッギング手法の研究}
}