Critical critical systems (2003)

by S Stepney
Venue:Formal Aspects of Security: FASec, volume 2629 of Lecture notess in Computer Science