Sciweavers

15787 search results - page 305 / 3158
» Is Software Engineering Training Enough for Software Enginee...
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
Reliability Analysis of Concurrent Systems Using LTSA
Genaína Nunes Rodrigues, David S. Rosenblum...
VMCAI
2010
Springer
16 years 3 months ago
Abstract Threads
Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
VMCAI
2010
Springer
16 years 3 months ago
Interpolant Strength
Vijay D'Silva, Daniel Kroening, Mitra Purandare, G...