Name
Abstract | ||
|---|---|---|
No abstract available.
|
Year | DOI | Venue |
|---|---|---|
1996 | 10.1145/238721.238781 | OSDI |
Keywords | Field | DocType |
software engineering,systems analysis,fault isolation,packet switching,assembly languages,system safety | Programming language,System safety,Cryptography,Computer science,Typed assembly language,Network packet,Real-time computing,Assembly language,Mathematical proof,Machine code,Distributed computing,Formal proof | Conference |
Volume | Issue | ISSN |
30 | SI | 0163-5980 |
ISBN | Citations | PageRank |
1-880446-82-0 | 230 | 51.43 |
References | Authors | |
8 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| George Necula | 1 | 2427 | 180.97 |
| Peter Lee 0001 | 2 | 975 | 147.71 |