IFAD VDMTools The VDM to C Code Generator VDMTools How to contact IFAD O 45 63 15 7131 Phone 45 65 93 29 99 Fax DU IFAD Mail Forskerparken 10A DK 5230 Odense M http www ifad dk Web ftp ifad dk Anonymous FTP server O toolboxGifad dk Technical support infoQifad dk General information salesQifad dk Sales and pricing The VDM to C Code Generator Revised for V6 8 COPYRIGHT 2001 by IFAD The software described in this document i
IFAD VDMTools The VDM to Java Code Generator VDMTools How to contact IFAD 45 63 15 71 31 45 65 93 29 99 IFAD Forskerparken 10A DK 5230 Odense M http www ifad dk ftp ifad dk toolbox ifad dk info ifad dk sales ifad dk Phone Fax Mail Web Anonymous FTP server Technical support General information Sales and pricing The VDM to Java Code Generator Revised for V6 8 COPYRIGHT 2001 by IFAD The software described in this d