Conference
A compositional proof framework for FRETish requirements
| Τίτλος: | A compositional proof framework for FRETish requirements |
|---|---|
| Συγγραφείς: | Conrad, Esther, Titolo, Laura, Giannakopoulou, Dimitra, Pressburger, Thomas, Dutle, Aaron |
| Πηγή: | Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. :68-81 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3497775.3503685 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3497775.3503685 |
|---|