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.-N., & 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 |
| Public URL | https://durham-repository.worktribe.com/output/1132350 |
| Publisher URL | http://ieeexplore.ieee.org/servlet/opac?punumber=5198469 |
You might also like
PTSC: probability, time and shared-variable concurrency
(2009)
Journal Article
Verifying BPEL-like Programs with Hoare Logic
(2008)
Journal Article
An Algebraic Hardware/Software Partitioning Algorithm
(2002)
Journal Article
From statecharts to verilog : a formal approach to hardware/software co-specification
(2006)
Journal Article
Timed Automata Patterns
(2008)
Journal Article