Ruzica Piskac

Ruzica Piskac

1 books in the database

Books

Verified Software. Theories, Tools, and ExperimentsRuzica Piskac

Verified Software. Theories, Tools, and Experiments

Ruzica Piskac · 2018

Co-authored books and collections

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

Verification, Model Checking, and Abstract InterpretationConstantin Enea

Verification, Model Checking, and Abstract Interpretation

Constantin Enea · 2019