Year | Venue | Keywords |
---|---|---|
1992 | ECAI | formal specification,predicate synthesis |
Field | DocType | ISBN |
Formal system,Z notation,Programming language,Computer science,Formal specification,Refinement,Predicate (grammar),Formal methods,Postcondition,Formal verification | Conference | 0-471-93608-1 |
Citations | PageRank | References |
10 | 0.80 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marta Fraňová | 1 | 10 | 1.47 |
Yves Kodratoff | 2 | 581 | 172.25 |