Open Source Software as a Learning Tool for Computer Science Students https://t.co/S4v9gZ2bvy #OSS #SoftEng
1,032 followers
2,283 followers
@kamatsu8 @samth @brendanzab Floyd's method was effectively prefigured by Goldstine and von Neumann (1947) and Turing (1949). That's definitely "formal reasoning about imperative programs". See the nice paper by Mark Priestley from the HFM workshop in 2019
629 followers
RT @arquivo_adb: Publish "From Manuscripts to Programming Languages: An Archivist Perspective", by @arquivo_adb at History of Formal Metho…
629 followers
Publish "From Manuscripts to Programming Languages: An Archivist Perspective", by @arquivo_adb at History of Formal Methods Workshop, 3rd World Congress on Formal Methods, Porto, 2019 @ifipnews @primaverabss @ICArchiv @ComputerHistory https://t.co/Bwrn4