Author Details

Clarisó, Robert, Universitat Oberta de Catalunya, Spain

  • 2014 - Working Papers
    Bounded Verification of Software Models: Challenges and Opportunities
    Abstract  PDF