| Document Date: 2012-08-05 17:30:05 Open Document File Size: 334,64 KBShare Result on Facebook
Company Guest0 / / IndustryTerm software abstractions / Lightweight tools / similar applications / concurrent algorithms / proof tools / cartesian product / well known telephone switching specification / / Person Peter Gorm Larsen / Carroll Morgan / Michael Butler / Martin Gogolla / John Fitzgerald / Jean-Raymond Abrial / Jim Woodcock / / Position second model / Butler / /
SocialTag |