column value
書名 Protocol conformance testing using unique input/output sequences
作者 Xiao Sun
版本
出版社 World Scientific