Year | DOI | Venue |
---|---|---|
2009 | 10.14279/tuj.eceasst.23.311 | ECEASST |
Field | DocType | Volume |
Formal system,Program code,Programming language,Abstraction,Source code,Computer science,Degree of parallelism,Theoretical computer science,Implementation,Documentation,Formal verification | Journal | 23 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
F. P. M. Stappers | 1 | 71 | 3.43 |
Michel A. Reniers | 2 | 254 | 30.73 |