Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 10 van 11 gevonden artikelen
 
 
  Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)
 
 
Titel: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)
Auteur: Cavalheiro, Simone
Fiadeiro, José Luiz
Verschenen in: Science of computer programming
Paginering: Jaargang 191 () nr. C pagina's p.
Jaar: 2020
Inhoud:
Uitgever: Elsevier B.V.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 10 van 11 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland