Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 
avatar of user1393905

user1393905

user1393905 has asked 1 questions and find answers to 0 problems.

Stats

5
EtPoint
0
Vote count
1
questions
0
answers

About

I'm doing my Phd. And my interest is in formal verification, constraint programming, temporal logic.

user1393905 answers