VDM++は、ツールを使えばJavaに出力できるのがええな
Please Login to reply.
PRACTICALITY: JAVA'S ONLY VIRTUE. AND ITS CURSE.
