「メモ/イベント駆動」の編集履歴（バックアップ）一覧はこちら

「メモ/イベント駆動」の最新版変更点

追加された行はこの色になります。

削除された行はこの色になります。

-
+*文献
+-[[Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems>http://eprints.eemcs.utwente.nl/15346/]], Empirical Software Engineering 2009