ASAHIネット([URL]のjouwa/salonからホットコーナー([URL] )に転載したものから。
---
　形式的仕様記述の国際会議ICFEM2008が、10月になんと北九州市の小倉であ
ります。
　ウェブサイトもできています。詳しくは、
[URL]
をどうぞ。

関連情報：
[URL]
形式仕様記述(フォーマルメソッド、Formal Methods)
[URL]
荒木先生の形式仕様記述の教科書
[URL]
仕様記述言語Zのテーマソングが決定