Podaci o znanstveniku
Osnovni podaci
Zaposlenja
Projekti
Bibliografija
Znanstveni interesi


Igor Grudenić - Znanstveni interesi

Pregled istraživačkih interesa za znanstvenika:

Interesi: Formalna verifikacija, Simboličko provjeravanje modela, Usporedba simboličnih provjeravanja modela.