W.-N. Chin
Editor
Theoretical Aspects of Software Engineering. The 3rd IEEE International Symposium
Contributors
S. Qin dcs0sq@durham.ac.uk
Editor
Citation
Chin, W., & Qin, S. (Eds.). (2009). Theoretical Aspects of Software Engineering. The 3rd IEEE International Symposium. Institute of Electrical and Electronics Engineers
| Book Type | Edited Book |
|---|---|
| Publication Date | Jul 1, 2009 |
| Deposit Date | Nov 23, 2009 |
| Publisher | Institute of Electrical and Electronics Engineers |
| Publisher URL | http://ieeexplore.ieee.org/servlet/opac?punumber=5198469 |
You might also like
PTSC: probability, time and shared-variable concurrency
(2009)
Journal Article
Memory Usage Verification Using Hip/Sleek
(2009)
Conference Proceeding
An Interval-based Inference of Variant Parametric Types
(2009)
Conference Proceeding
A Heap Model for Java Bytecode to Support Separation Logic
(2008)
Conference Proceeding
Verifying BPEL-like Programs with Hoare Logic
(2008)
Journal Article
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search