[TUHS] Formal Specification and Verification

Warren Toomey wkt at tuhs.org
Mon Aug 20 13:29:32 AEST 2018


I've forwarded the last e-mail in this thread to the COFF mailing list,
as it's strictly not TUHS related. Feel free to continue engaging in the
conversation over there!

Cheers, Warren



More information about the TUHS mailing list