Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Tom Maibaum | lit.salon

Author

Tom Maibaum

4 works

2000–2008 across 3 dated works

No biography is available yet.

Start with

Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice ... (Lecture Notes in Computer Science)2000
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 Bernhard K. Aichernig
FM 2008 : Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings2008
With Jorge Cuellar

Books

3 works

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

Search booksSort books

Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice ... (Lecture Notes in Computer Science)2000
3 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
With Bernhard K. Aichernig
1 edition
shelves
0
reviews
0
lists
0
quotes
0
FM 2008 : Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings2008
With Jorge Cuellar
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 Tom Maibaum.

The conversation is still open.

There is no public salon activity to show for Tom Maibaum yet.