AI-Assisted Coding: Correct By Construction, Not By Generation

Author

Shaowei Lin

Published

May 8, 2024