Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Matulevicius, Nedas
3  Ergebnisse:
Personensuche X
?
1

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Sma..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Song, Kunjian ; Matulevicius, Nedas ; de Lima Filho, Eddie B.. - p. 65-69 , 2022
Link: https://doi.org/10.1145/..
 
?
2

ESBMC-solidity : an SMT-based model checker for solidity..:

, In: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings,
Song, Kunjian ; Matulevicius, Nedas ; de Lima Filho, Eddie B.. - p. 65-69 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Sma..:

Song, Kunjian ; Matulevicius, Nedas ; Filho, Eddie B. de Lima.
http://arxiv.org/abs/2111.13117.  , 2021
Link: http://arxiv.org/abs/211..
 
1-3