flavonol@lemmy.world to Programming@programming.devEnglish · edit-23 months 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-23 months agomessage-square0fedilink
