Browse by Publisher

Group by: Item Type | Date | No Grouping

Number of items: 2.

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)

This list was generated on Sun Dec 22 01:24:22 2024 GMT.