Nikolaj Bjorner
Autor/a de FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Obres de Nikolaj Bjorner
Etiquetat
Coneixement comú
Encara no hi ha coneixement comú d'aquest autor. Pots ajudar.
Membres
Estadístiques
- Obra
- 1
- Membre
- 1
- Popularitat
- #2,962,640
- ISBN
- 3