Ben L. Di Vito

	2000
6		Ben L. Di Vito: High-automation proofs for properties of requirements models. STTT 3(1): 20-31 (2000)
	1999
5		Ben L. Di Vito: Software Can Be Entrusted with High Consequence Functionality. HASE 1999: 273-272
	1998
4		Judith Crow, Ben L. Di Vito: Formalizing Space Shuttle Software Requirements: Four Case Studies. ACM Trans. Softw. Eng. Methodol. 7(3): 296-332 (1998)
	1996
3		Ben L. Di Vito: Formalizing New Navigation Requirements for NASA's Space Shuttle. FME 1996: 160-178
	1994
2		C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael Smith: Formal Methods Fact vs. Fiction. TRI-Ada 1994: 256-258
	1992
1		Ben L. Di Vito, R. W. Butler: Provable transient recovery for frame-based, fault-tolerant computing systems. IEEE Real-Time Systems Symposium 1992: 275-278

Coauthor Index

1	R. W. Butler	[1]
2	Judith Crow	[4]
3	David Guaspari	[2]
4	C. Michael Holloway	[2]
5	Michael Smith	[2]

Colors in the list of coauthors