Pallab Dasgupta

Pallab Dasgupta

1 books in the database

Books

A Roadmap for Formal Property VerificationPallab Dasgupta

A Roadmap for Formal Property Verification

Pallab Dasgupta · 2006

Co-authored books and collections

Books that list Pallab Dasgupta among their authors but not as the lead author: co-written works, collections and compilations.

Multiobjective Heuristic SearchW. Bibel

Multiobjective Heuristic Search

W. Bibel · 2013