Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Erik de Vink | lit.salon

Author

Erik de Vink

1 works

No biography is available yet.

Start with

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings2018
With Klaus Havelund, Jan Peleska, Bill Roscoe

Books

1 work

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

Search booksSort books

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings2018
With Klaus Havelund, Jan Peleska, Bill Roscoe
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 Erik de Vink.

The conversation is still open.

There is no public salon activity to show for Erik de Vink yet.