LOGIN
>> Home
>> Topics
>> Students
>> Partners
>> Statistics
Information for topics
Topic Id:
ID topic:
362
Partner Email:
mihaela.deaconu@upit.ro
Project Title:
Model checking techniques for verifying software systems
Abstract:
Advisor:
Laurentiu DEACONU
Link:
Degree:
Bachelor
Keywords:
