Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Milena Vujosevic Janicic
conf.researchr.org general profile
POPL 2017 profile
Registered user since Thu 15 Dec 2016
Name:
Milena Vujosevic Janicic
Contributions
2017
TTT
Author of Modelling Program Behaviour within Software Verification Tool LAV within the TTT-track
Share
x
Mon 14 Jul 08:50