The ProBE tool and this User Manual are Copyright © 2003, Formal Systems (Europe) Ltd.
1. Introduction 2. Quick Start 3. Reference 4. Technical Details 5. Licence Appendices A. Revision History B. Bibliography