TLA+ creator Leslie Lamport: 'Programmers need abstractions' (thenewstack.io)
Programming, Abstraction, Software Development, Leslie Lamport, TLA+
46 points by MilnerRoute 57 days ago | 0 comments