Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Benjamin Werner | lit.salon

Author

Benjamin Werner

3 works

2006–2013 across 3 dated works

No biography is available yet.

Start with

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science)2006
With Jean-Christophe Filliâtre
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers2006
With Jean-Christophe Filliatre, Christine Paulin-Mohring
Der Streit um das VW-Gesetz2013

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science)2006
With Jean-Christophe Filliâtre
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Der Streit um das VW-Gesetz2013
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers2006
With Jean-Christophe Filliatre, Christine Paulin-Mohring
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 Benjamin Werner.

The conversation is still open.

There is no public salon activity to show for Benjamin Werner yet.