Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Jan Peleska | lit.salon

Author

Jan Peleska

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, Bill Roscoe, Erik de Vink

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, Bill Roscoe, Erik de Vink
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 Jan Peleska.

The conversation is still open.

There is no public salon activity to show for Jan Peleska yet.