Hets is a parsing, static analysis and proof management tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications. Logic ...
PIBIC is a CNPq program that aims at qualifying undergraduate students for scientific research. In this sense, it encourages the participation of students in research projects that present academic ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results