Sciweavers

16206 search results - page 114 / 3242
» Software Engineering is Not Enough
Sort
View
VMCAI
2007
Springer
16 years 13 days ago
Verifying Compensating Transactions
Michael Emmi, Rupak Majumdar
VMCAI
2007
Springer
16 years 13 days ago
More Precise Partition Abstractions
Harald Fecher, Michael Huth