Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Carlo A. Furia | lit.salon

Author

Carlo A. Furia

3 works

2012–2018 across 3 dated works

No biography is available yet.

Start with

Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings2012
Tests and Proofs 10th International Conference, TAP 2016, Held As Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings2016
With Bernhard K. Aichernig
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings2018
With Kirsten Winter

Books

3 works

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

Search booksSort books

Tests and Proofs 10th International Conference, TAP 2016, Held As Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings2016
With Bernhard K. Aichernig
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings2012
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings2018
With Kirsten Winter
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 Carlo A. Furia.

The conversation is still open.

There is no public salon activity to show for Carlo A. Furia yet.