Statistics
Publications
1
Citations
59
H-Index
1
Active since
2016
Affiliations
Carnegie Mellon University(Current)
Ivana Vukotic is an author at Carnegie Mellon University specializing in formal semantics, dynamic logic, and soundness.
Publications per year
2016–2016
1
1
Formally verified differential dynamic logic
Rose Bohrer, Vincent Rahli, Ivana Vukotic et al. · 2016 · 59 citations · Full text
1–1 of 1