Search for persons
X
?
Proceedings of the 7th Brazilian Symposium on Systematic and Automated Software Testing ,
3
Fully-Tested code generation from TLA+ specifications:
, In:
?
Proceedings of the XXII Brazilian Symposium on Programming Languages ,
8