Detalles de autor/a

Clarisó, Robert, Universitat Oberta de Catalunya, España

  • 2014 - Documentos de trabajo (Working Papers)
    Bounded Verification of Software Models: Challenges and Opportunities
    Resumen  PDF (English)