I agree that this site is using cookies. You can find further informations here.
X
Chelf, Ben
3  results:
Search for persons X
?
1

A few billion lines of code later : using static analysi..:

Bessey, Al ; Block, Ken ; Chelf, Ben...
Communications of the ACM.  53 (2010)  2 - p. 66-75 , 2010
Link: https://dl.acm.org/doi/1..
 
?
2

A few billion lines of code later: using static analysis to..:

Bessey, Al ; Block, Ken ; Chelf, Ben...
Communications of the ACM.  53 (2010)  2 - p. 66-75 , 2010
Link: https://doi.org/10.1145/..
 
?
3

Ensuring the Integrity of Embedded Software with Static Cod..:

Chelf, Ben ; Ebert, Christof
IEEE Software.  26 (2009)  3 - p. 96-99 , 2009
Link: https://doi.org/10.1109/..
 
1-3