Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Chapter in Software Specification Methods: An Overview Using a Case Study

Leslie Lamport

Details

Publication typeInbook
ChapterTLA+
PublisherHermes
> Publications > Chapter in Software Specification Methods: An Overview Using a Case Study