Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware.

Taro Kurita, Fuyuki Ishikawa, Keijiro Araki

Browse the full FM paper archive.