Vdm'87: Vdm-A Formal Method at Workby D. BjornerDevelopmentComputer software industryCongressesComputer softwareWriting a summary for young readers…For young readersBook data: Open Library