Search Results - Syeda, Hira Taqdees

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Formal Reasoning Under Cached Address Translation

    Formal Reasoning Under Cached Address Translation by Syeda, Hira Taqdees, Klein, Gerwin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Do you have space for dessert? a verified space cost semantics for CakeML programs

    Do you have space for dessert? a verified space cost semantics for CakeML programs by Gómez-Londoño, Alejandro, Åman Pohjola, Johannes, Syeda, Hira Taqdees, Myreen, Magnus O., Tan, Yong Kiam

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Formally Verifying Transfer Functions of Linear Analog Circuits

    Formally Verifying Transfer Functions of Linear Analog Circuits by Taqdees, Syeda Hira, Hasan, Osman

    Published in IEEE design and test
    Get full text
    Items that this one cites
    Items that cite this one
    Magazinearticle
    Save to List
    Saved in:

Search Tools: