245 followers
Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware. - Taro… http://t.co/Jc5anPXLbX
Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware. - Taro… http://t.co/Jc5anPXLbX