Conference
ESBMC-Python: A Bounded Model Checker for Python Programs
| Τίτλος: | ESBMC-Python: A Bounded Model Checker for Python Programs |
|---|---|
| Συγγραφείς: | Farias, Bruno, Menezes, Rafael, de Lima Filho, Eddie B., Sun, Youcheng, Cordeiro, Lucas C. |
| Πηγή: | Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :1836-1840 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3650212.3685304 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3650212.3685304 |
|---|