Corina S. Păsăreanu

Corina S. Păsăreanu

1 books in the database

Books

Formal Aspects of Component SoftwareCorina S. Păsăreanu

Formal Aspects of Component Software

Corina S. Păsăreanu · 2013

Co-authored books and collections

Books that list Corina S. Păsăreanu among their authors but not as the lead author: co-written works, collections and compilations.

Computer Aided VerificationDaniel Kroening

Computer Aided Verification

Daniel Kroening · 2015