Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
Citation
Bishop, S, Fairbairn, M, Norrish, M et al 2006, 'Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations', ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2006), ed. J.G. Morrisett, S.L. Peyton Jones, Association for Computing Machinery Inc (ACM), USA, pp. 55-66.
Year
2006
Fields of Research
- Computational Logic And Formal Languages
- Computation Theory And Mathematics Not Elsewhere Classified