search

GaloisInc / pate

Patches Assured up to Trace Equivalence
Other
15 stars 2 forks source link

Update README.rst #252

Closed lcasburn closed 2 years ago

lcasburn commented 2 years ago

Add acknowledgement of support and disclaimer statement