Year | Venue | Keywords |
---|---|---|
1990 | PSTV | correctness-preserving lotos transformation |
Field | DocType | ISBN |
Programming language,Computer science,Correctness,Decomposition | Conference | 0-444-88810-1 |
Citations | PageRank | References |
21 | 1.65 | 1 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rom Langerak | 1 | 308 | 39.16 |