On the Automatic Verification of Non-Standard Measures of Consistency
Christie Bolton and Gavin Lowe infobook 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
BibTeX
Link (ps)
related pages
|
