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
Contributions
TTT 2017 | Author of Modelling Program Behaviour within Software Verification Tool LAV within the TTT-track |