Formal Foundation for Specification and Verification

• Authors:

• Leslie Lamport;Fred B. Schneider

• Affiliations:

• -;-

• Venue:
• Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich
• Year:
• 1985