ソフトウェアUI妥当性確認の形式化に向けて

Há 9 anos 1300 Visualizações

Agdaを使った形式化の実例紹介

Há 9 anos 900 Visualizações

FlexMojosのご紹介@FxUG大阪

Há 13 anos 731 Visualizações