Stankovic, Miroslav
- MORA -- Automatic Generation of Moment-Based Invariants
2021/03/05 by Bartocci, Ezio, Kovacs, Laura, Stankovic, Miroslav · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Programming Languages (cs.PL)