Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Mattias Ulbrich | lit.salon

Author

Mattias Ulbrich

MU

Author record

1 works

No biography is available yet.

Start with

Deductive Software Verification : Future Perspectives Reflections on the Occasion of 20 Years of KeY2020
With Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle

Books

1 work

Featured (0)Featured (0)All (1)All (1)

Search booksSort books

No featured works yet, so all works are shown.

Deductive Software Verification : Future Perspectives Reflections on the Occasion of 20 Years of KeY2020
With Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle
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 Mattias Ulbrich.

The conversation is still open.

There is no public salon activity to show for Mattias Ulbrich yet.