Some Formal Methods Humor #1 Post by lhtr » Fri, Apr 17, 2020, 11:31 PM UTC Some Formal Methods Humorshemesh.larc.nasa.gov