Showing 1 - 2 results of 2 for search 'Leavens, G.', query time: 0.02s Refine Results
  1. 1
    The verified software initiative: A manifesto

    The verified software initiative: A manifesto by Hoare, C, Misra, J, Leavens, G, Shankar, N

    Published 2009
    Journal article
  2. 2
    Argus Reference Manual

    Argus Reference Manual by Liskov, Barbara, Day, M., Herlihy, M., Johnson, P., Leavens, G.

    Published 2023
    Get full text

Search Tools: