Marius Mikucionis

Registered user since Fri 10 Aug 2018

Name:Marius Mikucionis
Country:Denmark
Affiliation:Aalborg University
Research interests:testing, verification, model checking, statistical model checking

Contributions