TradeOne: Certain key components of the TradeOne back-office system developed by CSK systems for the Japanese stock exchange were developed using VDM.
TradeOne: Деякі ключові компоненти офісної системи TradeOne що розроблялась y CSK systems для Японської фондової біржі використовували VDM.