Should Your Specification Language Be Typed? (1999)

by Leslie Lamport , Lawrence C. Paulson
Citations:45 - 1 self