Showing 1 - 1 results of 1 for search '"Sistemas con propósitos y aplicaciones especiales."', query time: 0.04s Refine Results
  1. 1

    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Published 2008
    Subjects:
    Conference Proceeding Book