Publications

Verifying SOS specifications

• • Bard Bloom
  • Allan Cheng
  • et al.
• 1996
• COMPASS Computer Assurance 1996