Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Howe, J.M. and King, Andy
Logahedra: a New Weakly Relational Domain.
In: International Symposium on Automated Technology for Verification and Analysis, OCT 13-16, 2009, Macao, Peoples Republic of China.
(Full text available)