Faisal Abouzaid and John Mullins
Paper (2007)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/21223/ |
| Conference Title: | 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007) |
| Conference Location: | Venice, Italy |
| Conference Date(s): | 2007-12-14 |
| Journal Title: | Electronic Notes in Theoretical Computer Science (vol. 200, no. 3) |
| Publisher: | Elsevier |
| DOI: | 10.1016/j.entcs.2008.04.092 |
| Official URL: | https://doi.org/10.1016/j.entcs.2008.04.092 |
| Date Deposited: | 18 Apr 2023 15:15 |
| Last Modified: | 08 Apr 2025 02:08 |
| Cite in APA 7: | Abouzaid, F., & Mullins, J. (2007, December). A Calculus for Generation, Verification and Refinement of BPEL Specifications [Paper]. 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007), Venice, Italy. Published in Electronic Notes in Theoretical Computer Science, 200(3). https://doi.org/10.1016/j.entcs.2008.04.092 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
