Year | Venue | Keywords |
---|---|---|
1995 | INTERACT | formal specification |
Field | DocType | Citations |
Specification language,Software engineering,Computer science,Formal specification,Human–computer interaction,Language Of Temporal Ordering Specification,Refinement,Formal methods,Software requirements specification,Software verification,Formal verification | Conference | 27 |
PageRank | References | Authors |
2.02 | 4 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Philippe A. Palanque | 1 | 893 | 99.90 |
Rémi Bastide | 2 | 579 | 51.35 |