OpenAADL
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
CuriousAutistic
juanmiuk
Very Curious Person. Love Ada Language. Learning myself the language.
