scientific article
From MaRDI portal
Publication:2729088
zbMath0971.68576MaRDI QIDQ2729088
Publication date: 4 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
A framework for verifying bit-level pipelined machines based on automated deduction and decision procedures, Efficient Information-Flow Verification Under Speculative Execution
