National FreeBSD Day. Converos: practical model checking for verifying rust os kernel concurrency.

北鎌倉円メニュー. Moodle dicea 2021.