Logo
Nazad
Brandon Bohrer, Vincent Rahli, I. Vukotic, M. Völp, André Platzer
0 2016.

University of Birmingham Formally verified differential dynamic logic

Pretplatite se na novosti o BH Akademskom Imeniku

Ova stranica koristi kolačiće da bi vam pružila najbolje iskustvo

Saznaj više