| Original language | English |
|---|---|
| Publication status | Published - 1 Jan 2005 |
University of Birmingham, School of Computer Science Technical Report CSR-05-4: Compositional Model Extraction for Higher-Order Concurrent Programs
Dan Ghica, AS Murawski
Research output: Working paper/Preprint › Working paper