Search for persons
X
?
2020 X Brazilian Symposium on Computing Systems Engineering (SBESC) ,
5
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:
?
2017 IEEE International Conference on Computer and Information Technology (CIT) ,
15