Browse by Publisher
![[up]](/style/images/multi_up.png)
Up a levelJump to: Reports and Papers
Number of items: 2.
Reports and Papers
| Ugawa, Tomoharu and Jones, Richard (2018) Model Checking Transactional Sapphire. Technical report. School of Computing, University of Kent, Kent, UK (Unpublished) (KAR id:67197) |
|
| Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards Property-Based Testing of RESTful Web Services. Technical report. School of Computing, University of Kent (Unpublished) (KAR id:34865) |
|
