Näytetään 1 - 1 yhteensä 1 tuloksesta haulle '"International Conference on Functional Programming"', hakuaika: 0,07s Tarkenna hakua
  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 Tekijä Chlipala, Adam

    Julkaistu 2014
    Hae kokoteksti
    Hae kokoteksti
    Artikkeli

Työkalut: