Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Damien Zufferey | lit.salon

Author

Damien Zufferey

2 works

2019–2020 across 2 dated works

No biography is available yet.

Start with

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings2019
With Majid Zamani
Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings2020
With Dirk Beyer

Books

2 works

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

Search booksSort books

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings2019
With Majid Zamani
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings2020
With Dirk Beyer
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 Damien Zufferey.

The conversation is still open.

There is no public salon activity to show for Damien Zufferey yet.