3147 search results - page 50 / 630 » Open-Source Model Checking |
CAV
2004
Springer
14 years 1 months ago
2004
Springer
CAV
2001
Springer
14 years 4 days ago
2001
Springer
CAV
1999
Springer
13 years 12 months ago
1999
Springer
ENTCS
2002
13 years 7 months ago
2002
WWW
2006
ACM
14 years 8 months ago
2006
ACM
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...