Owre

听听怎么读
是什么意思
  • 释义

    [人名] 奥尔;

  • 学习怎么用

    权威例句

    Historical Overview, Current Status, and Future Trends in Human-Computer Interfaces for Process Control
    Programmable heuristics for theorem provers
    City Research Online
    PVS: A Prototype Verification System
    PVS: A prototype verification system
    Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
    An Overview of SAL
    The pvs proof checker: a reference manual (beta release)
    The PVS Specification Language
    The Formal Semantics of PVS