flavonol@lemmy.world to Programming@programming.devEnglish · edit-25 days agoWhat are some good resources to learn to write very reliable/formally verifiable software?plus-squaremessage-squaremessage-square7fedilinkarrow-up16arrow-down10
arrow-up16arrow-down1message-squareWhat are some good resources to learn to write very reliable/formally verifiable software?plus-squareflavonol@lemmy.world to Programming@programming.devEnglish · edit-25 days agomessage-square7fedilink
