scientific article
From MaRDI portal
Publication:3842661
zbMath0911.68009MaRDI QIDQ3842661
Kwang-Ting Cheng, Shi-Yu Huang
Publication date: 18 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (2)
Automating regression verification of pointer programs by predicate abstraction ⋮ On Formal Equivalence Verification of Hardware
Uses Software
This page was built for publication:
