Ada Japan について about this site Posted on Tuesday June 19th, 2018 Official statement： To create the high-integrity application with Ada/SPARK language True intention： To progra...