Search Results - Almeida, Jose Bacelar

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Rigorous software development : an introduction to program verification

    Rigorous software development : an introduction to program verification by Almeida, Jose Bacelar

    Published 2011
    Table of contents only
    Contributor biographical information
    Publisher description

Search Tools: