Name
Title | ||
|---|---|---|
Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". |
Abstract | ||
|---|---|---|
Without Abstract |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/s00165-006-0009-0 | Formal Asp. Comput. |
Keywords | Field | DocType |
computer programming | Data science,Programming language,Model checking,Computer science,Theoretical computer science,Computer programming | Journal |
Volume | Issue | ISSN |
18 | 3 | 1433-299X |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Eerke A. Boiten | 1 | 423 | 37.81 |
| Michael Butler | 2 | 1768 | 104.74 |