top | item 42657648 (no title) erpellan | 1 year ago How about https://en.wikipedia.org/wiki/SPARK_(programming_language) discuss order hn newest MaxBarraclough|1 year ago Seconded. Regarding applying SPARK, the Tokeneer case-study is an interesting read. It's self-published by AdaCore.This summary page links to the full PDF: https://www.adacore.com/tokeneer lolinder|1 year ago Ada is terminally underappreciated.
MaxBarraclough|1 year ago Seconded. Regarding applying SPARK, the Tokeneer case-study is an interesting read. It's self-published by AdaCore.This summary page links to the full PDF: https://www.adacore.com/tokeneer
MaxBarraclough|1 year ago
This summary page links to the full PDF: https://www.adacore.com/tokeneer
lolinder|1 year ago