Number of the records: 1  

Schumann, Johann M., 1960-

  1. Personal nameSchumann, Johann M., 1960-
    BiographyAutor publikací z oboru výpočetní techniky, zaměřen na softwar.
    Source data foundAutomated theorem proving in software engeneering (Johann M. Schumann) ; DNB
    DatabaseSoubor osobních jmen a jmen rodin (rodů)
    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