conf.researchr.org / Milena Vujosevic Janicic
Registered user since Thu 15 Dec 2016
Name: Milena Vujosevic Janicic
Contributions
| TTT 2017 | Author of Modelling Program Behaviour within Software Verification Tool LAV within the TTT-track |
Registered user since Thu 15 Dec 2016
Name: Milena Vujosevic Janicic
Contributions
| TTT 2017 | Author of Modelling Program Behaviour within Software Verification Tool LAV within the TTT-track |