J-Almeida/VDM-Exchange-System-for-Complex-Goods

Specification and testing for an online exchange system, created using VDM++