Quelle  README.txt

Author: Sten Agerholm, Peter Gorm Larsen and Kim Sunesen


This model is described in VDM-SL as a short, flat specification. 
This enables abstraction from design considerations and ensures 
maximum focus on high-level, precise and systematic analysis. This
was developed by Sten Agerholm, Peter Gorm Larsen and Kim Sunesen 
in 1999 in connection with FM'99.


Language Version: vdm10
Entry point     : DEFAULT`TestCash()