AI-assisted Coding. Correct by Construction, Not by Generation

Document Type

Conference Proceeding

Streaming Media

Publication Date

5-8-2024

Comments

This presentation was part of the Topos-Chapman Workshop in May 2024.

Share

COinS