Year | DOI | Venue |
---|---|---|
1993 | 10.1016/0020-0190(93)90098-T | Inf. Process. Lett. |
Keywords | Field | DocType |
procedure call,program specification,program correctness,procedures.,formal semantics,procedures | Predicate transformer semantics,Integer square root,Discrete mathematics,Programming language,Computer science,Precondition,Software construction,Calculus,Semantics,Procedure calls,Program specification,Semantics of logic | Journal |
Volume | Issue | ISSN |
46 | 5 | 0020-0190 |
Citations | PageRank | References |
6 | 1.10 | 2 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. Bijlsma | 1 | 36 | 7.02 |