ConForm: An experiment at British Aerospace comparing the conventional development of a trusted gateway with a development using VDM.
ConForm: Експеримент в British Aerospace з порівняння їх звичайного методу розробки захищеного шлюзу з розробкою з використанням VDM.