Detalls de l'autor

Clarisó, Robert, UOC, Espanya

  • 2014 - Documents de treball (Working Papers)
    Bounded Verification of Software Models: Challenges and Opportunities
    Resum  PDF (English)