Birkbeck, University of London logo
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: October 2022
    Number of items: 1.

    October 2022

    Frohn, F. and Fuhs, Carsten (2022) A calculus for modular loop acceleration and non-termination proofs. International Journal on Software Tools for Technology Transfer 24 , pp. 691-715. ISSN 1433-2779.

    This list was generated on Fri Jun 20 02:53:57 2025 BST.