Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Ruzica Piskac | lit.salon

Author

Ruzica Piskac

2 works

2018–2019 across 2 dated works

No biography is available yet.

Start with

Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers2018
With Philipp Rümmer
Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings2019
With Constantin Enea

Books

2 works

Featured (2)Featured (2)All (2)All (2)

Search booksSort books

Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers2018
With Philipp Rümmer
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings2019
With Constantin Enea
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Ruzica Piskac.

The conversation is still open.

There is no public salon activity to show for Ruzica Piskac yet.