Cited By
View all- Bhargavan KGunter CLee ISokolsky OKim MObradovic DViswanathan M(2002)VerisimIEEE Transactions on Software Engineering10.1109/32.98849528:2(129-145)Online publication date: 1-Feb-2002
- Bhargavan KGunter CObradovic DHeimdahl M(2000)Fault origin adjudicationProceedings of the third workshop on Formal methods in software practice10.1145/349360.351132(61-71)Online publication date: 24-Aug-2000
- Bhargavan KGunter CKim MLee IObradovic DSokolsky OViswanathan M(2000)VerisimACM SIGSOFT Software Engineering Notes10.1145/347636.34783325:5(2-13)Online publication date: 1-Aug-2000
- Show More Cited By