16. プログラムの静的検証、システムズプログラミングの論文 (うどん)

Turing Complete FM - A podcast by Rui Ueyama

Try Bookbeat 60! days for free, click here

Enjoy a whole world of audiobooks and e-books, everything from new releases to the classics

うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。