Half-automated generation of secure, high-performance Web/DB software | IEEE Conference Publication | IEEE Xplore