3-Valued abstraction: More precision at less cost
Sharon Shoham, Orna GrumbergVolume:
206
Year:
2008
Language:
english
Pages:
21
DOI:
10.1016/j.ic.2008.07.004
File:
PDF, 367 KB
english, 2008