Should Your Specification Language Be Typed? (1999)
Cached
Download Links
by
Leslie Lamport
,
Lawrence C. Paulson
| Citations: | 43 - 1 self |
Document Versions
| Should Your Specification Language Be Typed? –Leslie Lamport , Lawrence C. Paulson — 1999 |
| Should Your Specification Language Be Typed? –Leslie Lamport, Lawrence C. Paulson, Carl A. Gunter — 1999 |
| Should Your Specification Language Be Typed? –Leslie Lamport, Lawrence C. Paulson — 1998 |
| Should Your Specification Language Be Typed? –Leslie Lamport, Lawrence C. Paulson — 1997 |
