Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Milos Gligoric | lit.salon

Author

Milos Gligoric

MG

Author record

1 works

No biography is available yet.

Start with

QED at Large: A Survey of Engineering of Formally Verified Software2019
With Talia Ringer, Karl Palmskog, Ilya Sergey, Zachary Tatlock

Books

1 work

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

Search booksSort books

QED at Large: A Survey of Engineering of Formally Verified Software2019
With Talia Ringer, Karl Palmskog, Ilya Sergey, Zachary Tatlock
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 Milos Gligoric.

The conversation is still open.

There is no public salon activity to show for Milos Gligoric yet.