Research Output per year
8 Downloads (Pure)
An Engineering Approach to Atomic Transaction Verification: Use of a Simple Object Model to Achieve Semantics-based Reasoning at Compile-timeSpelt, D. & Even, S. J., Sep 1998, 16 p.
Research output: Working paper › Professional
Computer programming languages
Data storage equipment