Hiding More of Hidden Algebra (1999)

by Joseph Goguen , Grigore Rosu
Venue:FM'99 -- Formal Methods
Citations:42 - 15 self