Items where Author is "Wei, K"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 3.
Heather, J and Wei, K (2009) Where next for formal methods? Lecture Notes in Computer Science, 5087 . 52 - 58. ISSN 0302-9743
Wei, K and Heather, J (2007) A theorem-proving approach to verification of fair non-repudiation protocols Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4691 LNCS . 202 - 219.
Wei, K and Heather, J (2005) Embedding the stable failures model of CSP in PVS Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3771 LNCS . 246 - 265. ISSN 0302-9743