report on Formal Methods/Specification


Please note the following points about this report:
Michael Mc Gettrick