Abstract

Automated programming tools aim to make development faster, better, and less expensive. They also could provide another big payoff: high-assurance software.

Links and resources

Tags

community

  • @bugra
  • @butonic
  • @dblp
@bugra's tags highlighted