BT

Disseminando conhecimento e inovação em desenvolvimento de software corporativo.

Contribuir

Tópicos

Escolha a região

Início Spec# no InfoQ Brasil

Notícias

Feed RSS
  • Spec# e Boogie Disponíveis no CodePlex

    O código fonte do Spec# está disponível no CodePlex pela Microsoft Research Shared Source License Agreement. Esta licença restringe a utlização para fins não comerciais. E a ferramenta de verificação de código chamada Boogie foi lançada pela Microsoft Public License, a qual está em conformidade com o padrão Free/Open Source.

BT