Should Your Specification Language Be Typed? (1999)

by Leslie Lamport , Lawrence C. Paulson
Citations:46 - 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