Percorrer por autor R. Chadha
Mostrar resultados 1-1 de 1.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 2007 | Reasoning about probabilistic sequential programs | Luís Cruz-Filipe; R. Chadha; P. Mateus; A. Sernadas | article |  |
