1
by Bettini, Claudio, Jajodia, Sushil, Wang, Sean
Published 2000
Springer Berlin Heidelberg
Subjects: ...Computer logic...