Name
Title | ||
|---|---|---|
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures |
Year | Venue | Keywords |
|---|---|---|
2006 | PSSE | software engineering |
Field | DocType | Volume |
Notation,Model checking,Software engineering,Computer science,Probabilistic logic,Temporal logic | Conference | 3167 |
ISBN | Citations | PageRank |
isbn | 8 | 2.78 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ana Cavalcanti | 1 | 668 | 59.95 |
| Augusto Sampaio | 2 | 96 | 13.42 |
| J. C. P. Woodcock | 3 | 519 | 53.82 |