Front cover image for The formal development of secure systems

The formal development of secure systems


Thesis, Dissertation, English, 1992