Microsoft Research
Microsoft Translator |
Chapter in Software Specification Methods: An Overview Using a Case Study

Leslie Lamport
April 2006

Publisher  Hermes

Details

TypeChapter
ChapterTLA+
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Chapter in Software Specification Methods: An Overview Using a Case Study