Number of the records: 1  

Bloem, Roderick

  1. Personal nameBloem, Roderick
    CountryRakousko
    Sexmuž
    Languageger - němčina
    Source data foundClarke, Edmund M. - Bloem, Roderick ... et al. (eds.): Handbook of model checking, 2018 (autoritní forma)
    Databaset100i
    References (1) - Books
    person

    person

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all