Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Boudewijn Haverkort | lit.salon

Author

Boudewijn Haverkort

BH

Author record

1 works

No biography is available yet.

Start with

Formal Methods : Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected2007
With Lubos Brim, Martin Leucker, Jaco van de Pol

Books

1 work

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

Search booksSort books

Formal Methods : Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected2007
With Lubos Brim, Martin Leucker, Jaco van de Pol
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 Boudewijn Haverkort.

The conversation is still open.

There is no public salon activity to show for Boudewijn Haverkort yet.