Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Bernhard K. Aichernig | lit.salon

Author

Bernhard K. Aichernig

4 works

2003–2016 across 4 dated works

No biography is available yet.

Start with

Formal methods at the crossroads from panacea to foundational support ; 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18 - 20, 2002 ; revised papers2003
Formal methods at the crossroads: from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers2003
With Tom Maibaum
Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 20102012
Tests and Proofs 10th International Conference, TAP 2016, Held As Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings2016
With Carlo A. Furia

Books

4 works

Featured (4)Featured (4)All (4)All (4)

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 Carlo A. Furia
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Formal methods at the crossroads from panacea to foundational support ; 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18 - 20, 2002 ; revised papers2003
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 20102012
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Formal methods at the crossroads: from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers2003
With Tom Maibaum
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 Bernhard K. Aichernig.

The conversation is still open.

There is no public salon activity to show for Bernhard K. Aichernig yet.