On the Automatic Verification of Non−Standard Measures of Consistency
Christie Bolton and Gavin Lowe
Details
| Book Title |
6th International Workshop on Formal Methods‚ IWFM 2003‚ Dublin City University. 11 July‚ 2003 |
| Editor |
Joseph M. Morris and Benjamin Aziz and Frédéric Oehl |
| Publisher |
BCS |
| Series |
Workshops in Computing |
| Year |
2003 |
Links
Related pages
|
People |