Showing 1 - 5 results of 5 for search 'Gudmund Grov', query time: 0.04s Refine Results
  1. 1
    Machine Learning in Proof General: Interfacing Interfaces
    Get full text
    Article
  2. 2
    Tinker, tailor, solver, proof
    by Gudmund Grov, Aleks Kissinger, Yuhui Lin
    Published 2014-10-01
    Get full text
    Article
  3. 3
    CBAM: A Contextual Model for Network Anomaly Detection
    by Henry Clausen, Gudmund Grov, David Aspinall
    Published 2021-06-01
    Get full text
    Article
  4. 4
    Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
    by YuHui Lin, Gudmund Grov, Rob Arthan
    Published 2016-12-01
    Get full text
    Article
  5. 5
    Use of rippling to automate Event-B invariant preservation proofs
    by Lin, Yu Hui
    Published 2015
    Other Authors: “...Bundy, Alan ; Maclean, Ewen ; Gudmund, Grov...”
    Get full text
Search Tools: Get RSS Feed — Email this Search