Black box checking (1999)

by Moshe Y. Vardi
Venue:In FORTE/PSTV