Gösterilen 1 - 1 sonuçlar arası kayıtlar. 1 sonuç. Aranan kelime '"International Conference on Functional Programming"', Sorgu süresi: 0.20s Sonuçları Daraltın
  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 Yazar: Chlipala, Adam

    Baskı/Yayın Bilgisi 2014
    Tam Metin Erişim
    Tam Metin Erişim
    Makale

Arama Araçları: