Mostrar 1 - 1 resultats de 1 per cerca 'Choi, Yunja', hora de la petició: 0.01sec Refinar resultats
  1. 1

    Automatic abstraction for model checking software systems with interrelated numeric constraints. per Choi, Yunja

    Article

    Automatic abstraction for model checking software systems with interrelated numeric constraints.

Eines de cerca: