Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract).

Keijiro Araki, Taro Kurita

Browse the full ICFEM paper archive.