scientific article
From MaRDI portal
Publication:2754112
zbMath0974.68568MaRDI QIDQ2754112
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam Srivas
Publication date: 11 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) Mathematical problems of computer architecture (68M07)
Related Items
Algebraic models of correctness for abstract pipelines., Efficient Information-Flow Verification Under Speculative Execution, Mothers of Pipelines
Uses Software
