Showing 1 - 1 results of 1 for search 'Almeida, José Bacelar', query time: 0.01s Refine Results
  1. 1
    Rigorous software development : an introduction to program verification
    Published 2011
    Other Authors: “…Almeida, José Bacelar…”
    Book

Search Tools: