BIROn - Birkbeck Institutional Research Online

    Browse by Journal and Volume

    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Author(s) | Date | School | No Grouping
    Jump to: C
    Number of items: 1.

    C

    Chen, Taolue and Hague, M. and Lin, A.W. and Rümmer, P. and Wu, Z. (2019) Decision procedures for path feasibility of string-manipulating programs with complex operations. Proceedings of the ACM on Programming Languages 3 (POPL), pp. 1-30. ISSN 2475-1421.

    This list was generated on Sat Dec 14 04:31:36 2024 GMT.