Resultados da pesquisa - Todelar~

  1. 561
  2. 562
  3. 563
  4. 564
  5. 565
  6. 566
  7. 567
  8. 568
  9. 569
  10. 570
  11. 571
  12. 572
  13. 573

    From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security Por Wasserrab, Daniel

    Publicado em 2011
    Assuntos: “...Modularity...”
    DOAB: download the publication
    DOAB: description of the publication
    Recurso Electrónico Capítulo de Livro
  14. 574
  15. 575
  16. 576
  17. 577
  18. 578
  19. 579
  20. 580