TLA+ Helps Programmers Squash Bugs Before Coding - IEEE Spectrum - discu.eu

Linking pages

Thinking outside the box of code with Leslie Lamport (Changelog Interviews #552) |> Changelog https://changelog.fm/552#transcript-45 300 comments
Thinking outside the box of code with Leslie Lamport (Changelog Interviews #552) |> Changelog https://changelog.com/podcast/552 1 comment

Related searches:

Search whole site: site:spectrum.ieee.org

Search title: TLA+ Helps Programmers Squash Bugs Before Coding - IEEE Spectrum

See how to search.

Submit link to: