Browsing by Subject Formal Logic
Showing results 1 to 2 of 2
| Publication Date | Title | Author(s) |
|---|---|---|
| 2022 | An Encoding of the Clock Cycle Semantics of Bluespec SystemVerilog in PVS | Moore, Nicholas |
| Nov-2015 | A Logical Basis for Reasoning with Default Rules | Cassano, Valentin |
