1991 | ||
---|---|---|
1 | Aharon Aharon, Ayal Bar-David, Barry Dorfman, Emanuel Gofman, Moshe Leibowitz, Victor Schwartzburd: Verification of the IBM RISC System/6000 by a Dynamic Biased Pseudo-Random Test Program Generator. IBM Systems Journal 30(4): 527-538 (1991) |
1 | Aharon Aharon | [1] |
2 | Ayal Bar-David | [1] |
3 | Barry Dorfman | [1] |
4 | Emanuel Gofman | [1] |
5 | Moshe Leibowitz | [1] |