Résultat(s) 1 - 1 résultats de 1 pour la requête '"International Conference on Functional Programming"', Temps de recherche: 0,14s Affiner les résultats
  1. 1
    The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier

    The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier par Chlipala, Adam

    Publié 2014
    Accéder au texte intégral
    Accéder au texte intégral
    Article

Outils de recherche: