Conference
FlowChecker: One Command to Model Check Control-Flow Rules in Industrial Java
| Τίτλος: | FlowChecker: One Command to Model Check Control-Flow Rules in Industrial Java |
|---|---|
| Συγγραφείς: | Wang, Qiuye, Cao, Liqing, Hu, Wei, He, Dengcheng |
| Πηγή: | Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering. :4432-4442 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3832783.3834530 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3832783.3834530 |
|---|