On the Automatic Verification of Non−Standard Measures of Consistency
Christie Bolton and Gavin Lowe
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