Lessons from 20 Years of Industrial Formal Methods
Name | Value |
|---|
| Creation Date | Tue Dec 14 16:28:23 2010 |
| Creator | TeX output 2010.12.14:1628 |
| Encrypted | no |
| File size | 146101 bytes |
| MIME type | application/pdf |
| Optimized | no |
| Page size | 595 x 842 pts (A4) |
| Pages | 15 |
| PDF version | 1.2 |
| Producer | dvipdfm 0.13.2d, Copyright © 1998, by Mark A. Wicks |
| Size | 142.68 KB |
| Tagged | no |
