User:Ringo62

Wikipedia:Babel
en-3 This user can contribute with an advanced level of English . ja この利用者は日本語を母語としています。 This user can speak Japanese.
Search user languages

I am interested in high-assurance software, in particular the formal verification of hardware and software systems.