Ben Di Vito

According to our database¹, Ben Di Vito authored at least 3 papers between 1985 and 2006.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2006

Predicate Abstraction of Programs with Non-linear Computation.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Automated test generation for engineering applications.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

1985

Towards a definition of "Beyond AI" verification.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1985