Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 
avatar of Pablo M. S. Farias

Pablo M. S. Farias

Pablo M. S. Farias has asked 3 questions and find answers to 0 problems.

Stats

15
EtPoint
0
Vote count
3
questions
0
answers

About

Doctor in and Professor of Computer Science. C and C++ programmer. Interested in formal verification of computer programs (Frama-C, Coq, etc).

Pablo M. S. Farias answers