VDMSL

From Wiki.overturetool.org

Jump to: navigation, search
main()
{
    printf("hello, world\n");
}
Retrieved from "http://wiki.overturetool.org/index.php/VDMSL"
Personal tools