Quantified Interference for a While Language
| Data(s) |
01/01/2005
|
|---|---|
| Formato |
application/pdf |
| Identificador |
http://calcium.dcs.kcl.ac.uk/1105/1/qapl04_def.pdf Clark, David and Hunt, Sebastian and Malacaria, Pasquale (2005) Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science, 112 . pp. 149-166. |
| Publicador |
Elsevier |
| Relação |
http://calcium.dcs.kcl.ac.uk/1105/ |
| Tipo |
Article PeerReviewed |
