16. プログラムの静的検証、システムズプログラミングの論文 (うどん)
Turing Complete FM - Podcast készítő Rui Ueyama
Kategóriák:
うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。
Turing Complete FM - Podcast készítő Rui Ueyama
うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。