Automating access control logics in simple type theory with LEO-II (2008)

by Christoph Benzmüller
Venue:FB Informatik, U. des Saarlandes
Citations:11 - 9 self