「形式的検証」の版間の差分

m
Category:正当化を追加 (HotCat使用)
(→‎産業での応用: 「L4」から「L4マイクロカーネルファミリー」への改名に伴う変更)
m (Category:正当化を追加 (HotCat使用))
[[Category:形式手法]]
[[Category:数学に関する記事]]
[[Category:正当化]]
36

回編集