Year | DOI | Venue |
---|---|---|
2013 | 10.4230/OASIcs.FSFMA.2013.2 | FSFMA |
Field | DocType | Citations |
Theorem provers,Functional verification,Programming language,Computer science,Inference,Theoretical computer science,Language Of Temporal Ordering Specification,System requirements specification,Expressivity | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wei-Ngan Chin | 1 | 868 | 63.37 |