@proceedings{OSV04,
  title = 	 {Proc.\ NICTA Formal Methods Workshop on Operating Systems Verification},
  year = 	 {2004},
  editor = 	 {Gerwin Klein},
  organization = {NICTA Technical Report 0401005T-1},
  address = 	 {Sydney, Australia},
  publisher =    {National ICT Australia},
}