Year | DOI | Venue |
---|---|---|
1997 | 10.1007/978-0-387-35271-8_22 | FORTE |
Keywords | Field | DocType |
algebraic specification,expression transformation | Algebraic specification,Formal design,Abstract data type,Normalization (statistics),Specifier,Computer science,Design tool,Theoretical computer science,Bisimulation | Conference |
ISBN | Citations | PageRank |
0-412-82060-9 | 3 | 0.49 |
References | Authors | |
4 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Manuel J. Fernández Iglesias | 1 | 28 | 14.58 |
Martín Llamas Nistal | 2 | 108 | 35.60 |