Idris Samater

• Developing a generic container class to prototype VDM specifications