Z:gnu-www-ja-testimonials--b78380-=3Ca href=3D"http://www.dwheeler.c/en

High Assurance (for Security or Safety) and Free-Libre / Open Source Software (FLOSS)... with Lots on Formal Methods