Search for persons
X
?
2020 X Brazilian Symposium on Computing Systems Engineering (SBESC) ,
7
Methods for Comparing Execution Times of Different Input Da..:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
8
Efficient Formal Verification for the Linux Kernel:
, In:
?
2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC) ,
12