Publications

2 results for Ashvin Dsouza

Using a protean language to enhance expressiveness in specification
- - Bard Bloom
  - Allan Cheng
  - et al.
- 1997
- IEEE Transactions on Software Engineering
Verifying SOS specifications
- - Bard Bloom
  - Allan Cheng
  - et al.
- 1996
- COMPASS Computer Assurance 1996