BH akademski imenik

Nazad

Rose Bohrer, Vincent Rahli, I. Vukotic, M. Völp, André Platzer

58 16. 1. 2017.

Formally verified differential dynamic logic

Certified Programs and Proofs

+ 1
- Computer Science

Pretplatite se na novosti o BH Akademskom Imeniku

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