Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Alexander Knapp | lit.salon

Author

Alexander Knapp

AK

Author record

2 works

2016 across 2 dated works

No biography is available yet.

Start with

Critical Systems : Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa, Italy, September 26-28, 2016, Proceedings2016
With Maurice H. Ter Beek, Stefania Gnesi
Ernest Bloch Studies2016
With Norman Solomon

Books

2 works

Featured (2)Featured (2)All (2)All (2)

Search booksSort books

Ernest Bloch Studies2016
With Norman Solomon
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Critical Systems : Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa, Italy, September 26-28, 2016, Proceedings2016
With Maurice H. Ter Beek, Stefania Gnesi
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 Alexander Knapp.

The conversation is still open.

There is no public salon activity to show for Alexander Knapp yet.