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