correct-by-construction icon indicating copy to clipboard operation
correct-by-construction copied to clipboard

Published 20 hours ago • verified publisher icon mattgodbolt
→

Metadata

Correct by Construction : a presentation given at C++ on Sea 2020

Correct by construction

Presented at C++ on Sea 2020.

← Metadata

20
Stars
2
Forks
Watchers

Owner

verified publisher icon mattgodbolt

Metadata

Correct by Construction : a presentation given at C++ on Sea 2020

Back