Correct Execution of Transactions at Different Isolation Levels
IEEE Transactions on Knowledge and Data Engineering
Mechanical theorem proving in computational geometry
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
A Deductive Proof System for Multithreaded Java with Exceptions
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Hoare-Style Verification of Graph Programs
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Hi-index | 0.00 |