4 ms·
Anyone knows a good course on formally proven methods of programming?
by ducktective 5y ago
Anyone knows a good course on formally proven methods of programming?
- YorkshireSeason 5y agoT. Nipkow, G. Klein, Concrete Semantics. http://concrete-semantics.org/ http://concrete-semantics.org/ B. C. Pierce et al, Software Foundations. https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/