Sciweavers

15974 search results - page 176 / 3195
» Object-Oriented Software Engineering
Sort
View
VMCAI
2007
Springer
16 years 15 days ago
Verifying Compensating Transactions
Michael Emmi, Rupak Majumdar
VMCAI
2007
Springer
16 years 15 days ago
More Precise Partition Abstractions
Harald Fecher, Michael Huth