This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming.